Back to Search Start Over

Modular Development of Hybrid Systems for Verification in Coq

Authors :
Niqui, Milad
Tveretina, O.
Egerstedt, M.
Mishra, B.
Computer Security
Publication Year :
2008
Publisher :
Springer, 2008.

Details

Language :
English
Database :
OpenAIRE
Accession number :
edsair.narcis........d4f42ab85000ec6acdc915288cfebc13

Tools

Authors Abstract Subjects Details