Invariant Synthesis for Verification of Parameterized Cyber-Physical Systems with Applications to Aerospace Systems
AIAA Infotech@Aerospace (I@A) Conference
2013-01-01
Conference paper
Electronic Resource
English
British Library Conference Proceedings | 2013
|Aerospace Cyber-Physical Systems Education
AIAA | 2013
|Aerospace Cyber-Physical Systems Education (AIAA 2013-4809)
British Library Conference Proceedings | 2013
|