Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

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



    Kongress:

    Conference, Infotech@aerospace ; 2013 ; Boston, MA



    Erscheinungsdatum :

    01.01.2013


    Format / Umfang :

    16 pages


    Anmerkungen:

    Includes bibliographical references and index



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch





    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