Invariant Synthesis for Verification of Parameterized Cyber-Physical Systems with Applications to Aerospace Systems
AIAA Infotech@Aerospace (I@A) Conference
01.01.2013
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
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
|