Personensuche
X
?
Bridging the Gap Between AI and Reality; Lecture Notes in Computer Science ,
7
AI Assisted Programming: (AISoLA 2023 Track Introduction):
, In:
?
Lecture Notes in Computer Science; Applicable Formal Methods for Safe Industrial Products ,
8
Space Telemetry Analysis with PyContract:
, In:
?
Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation ,
9
TP-DejaVu: Combining Operational and Declarative Runtime Ve..:
, In:
?
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering; Lecture Notes in Computer Science ,
10
Runtime Verification as Documentation:
, In:
?
2022 Annual Reliability and Maintainability Symposium (RAMS) ,
11
Assurance of Model-Based Autonomy for Robotic Space Mission:
, In:
?
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering; Lecture Notes in Computer Science ,
12
Discussing the Future Role of Documentation in the Context ..:
, In:
?
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles; Lecture Notes in Computer Science ,
13
Specification-Based Monitoring in C++:
, In:
?
Runtime Verification; Lecture Notes in Computer Science ,
14
A Python Library for Trace Analysis:
, In:
?
15
NASA Formal Methods: 14th International Symposium, NFM 2022..
Lecture Notes in Computer Science, 13260