Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Using SPIN model checking for verification of flight software


    Beteiligte:
    Gluck, P. R. (Autor:in) / Holzmann, G. J. (Autor:in)

    Kongress:

    IEEE Aerospace Conference 2003


    Erscheinungsdatum :

    10.03.2002


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Keine Angabe


    Sprache :

    Englisch




    Using SPIN model checking for flight software verification

    Gluck, P.R. / Holzmann, G.J. | IEEE | 2002


    Using SPIN model checking for flight software verification

    Gluck, P. R. / Holzmann, G. J. | NTRS | 2002


    2.0303 Using Spin Model Checking for Flight Software Verification

    Institute of Electrical and Electronics Engineers | British Library Conference Proceedings | 2002


    Program Model Checking Using Design-for-Verification: NASA Flight Software Case Study

    Markosian, Lawrence Z. / Mansouri-Samani, Masoud / Mehlitz, Peter C. et al. | IEEE | 2007


    Verification of Flight Software with Karnough Map-based Checking

    Jaw, Link / Tsai, W. T. / Homan, David et al. | IEEE | 2007