Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Clark, Kristopher
5  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
1

Predicting Operator Cognitive States for Supervisory Human-..:

, In: 2023 IEEE International Conference on Systems, Man, and Cybernetics (SMC),
Kintz, Jacob Ryan ; Buchner, Savannah Lynn ; Anderson, Allison Paige. - p. 5146-5153 , 2023
Link: https://doi.org/10.1109/..
 
?
2

Smt-Switch: A Solver-Agnostic C++ API for SMT Solving:

, In: Theory and Applications of Satisfiability Testing – SAT 2021; Lecture Notes in Computer Science,
Mann, Makai ; Wilson, Amalee ; Zohar, Yoni... - p. 377-386 , 2021
Link: https://doi.org/10.1007/..
 
?
3

Pono: A Flexible and Extensible SMT-Based Model Checker:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Mann, Makai ; Irfan, Ahmed ; Lonsing, Florian... - p. 461-474 , 2021
Link: https://doi.org/10.1007/..
 
?
4

List of contributors:

, In: Geological Repository Systems for Safe Disposal of Spent Nuclear Fuels and Radioactive Waste,
Ahn, Joonhong ; Andersson, Kjell ; Apted, Michael J.... - p. xv-xvii , 2017
Link: https://doi.org/10.1016/..
 
?
5

Contributors:

, In: Shackelford's Surgery of the Alimentary Tract, 2 Volume Set,
Abbas, Abbas E. ; Adams, David B. ; Aggarwal, Piyush... - p. vi-xx , 2019
Link: https://doi.org/10.1016/..
 
1-5