Invariant Synthesis for Verification of Parameterized Cyber-Physical Systems with Applications to Aerospace Systems (AIAA 2013-4811)
Conference, Infotech@aerospace ; 2013 ; Boston, MA
2013-01-01
16 pages
Includes bibliographical references and index
Conference paper
English
Aerospace , Infotech , Astronautics , AIAA , Aeronautics
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Aerospace Cyber-Physical Systems Education (AIAA 2013-4809)
British Library Conference Proceedings | 2013
|DataCite | 1937
Numerical Simulations of High-Pressure Mixing and Combustion (AIAA 2017-4811)
British Library Conference Proceedings | 2017
|Aerospace Cyber-Physical Systems Education
AIAA | 2013
|