Personensuche
X
?
Lecture Notes in Computer Science; NASA Formal Methods ,
1
A Formal Verification Framework for Runtime Assurance:
, In:
?
Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs ,
4
A Temporal Differential Dynamic Logic Formal Embedding:
, In:
?
Intelligent Systems Reference Library; Challenges of Software Verification ,
10