Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Formal Validation of Aerospace Software



    Conference:

    Conference, DAta systems in aerospace; Proceedings of DASIA 2013 ; 2013 ; Porto, Portugal



    Publication date :

    2013-01-01


    Size :

    42 pages


    Remarks:

    Includes bibliographical references; Held in e-store (RMS)




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Formal Framework and Models for Validation and Verification of Software-Intensive Aerospace Systems

    Guarro, Sergio / Yau, Michael K. / Ozguner, Umit et al. | AIAA | 2017


    Perspectives on aerospace software validation

    Rubey, R.J. | Tema Archive | 1972


    Formal Framework and Models for Validation and Verification of Software-Intensive Aerospace Systems (AIAA 2017-0418)

    Guarro, Sergio / Yau, Michael K. / Ozguner, Umit et al. | British Library Conference Proceedings | 2017



    Integrated Formal Verification and Validation of Safety Critical Software

    Ward, N. J. / North Atlantic Treaty Organization | British Library Conference Proceedings | 1993