![](/img/cover-not-exists.png)
[American Institute of Aeronautics and Astronautics AIAA Infotech@Aerospace (I@A) Conference - Boston, MA ()] AIAA Infotech@Aerospace (I@A) Conference - Invariant Synthesis for Verification of Parameterized Cyber-Physical Systems with Applications to Aerospace Systems
Johnson, Taylor T., Mitra, SayanYear:
2013
Language:
english
DOI:
10.2514/6.2013-4811
File:
PDF, 535 KB
english, 2013