Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Invariant Synthesis for Verification of Parameterized Cyber-Physical Systems with Applications to Aerospace Systems (AIAA 2013-4811)



    Conference:

    Conference, Infotech@aerospace ; 2013 ; Boston, MA



    Publication date :

    2013-01-01


    Size :

    16 pages


    Remarks:

    Includes bibliographical references and index



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English





    Aerospace Cyber-Physical Systems Education (AIAA 2013-4809)

    Atkins, E.M. / Bradley, J.M. / American Institute of Aeronautics and Astronautics | British Library Conference Proceedings | 2013


    Nr. 4811

    DataCite | 1937


    Numerical Simulations of High-Pressure Mixing and Combustion (AIAA 2017-4811)

    Giacomazzi, Eugenio / Cecere, Donato / Arcidiacono, Nunzio Maria Salvatore et al. | British Library Conference Proceedings | 2017


    Aerospace Cyber-Physical Systems Education

    Atkins, Ella M. / Bradley, Justin M. | AIAA | 2013