Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Validation of mission critical software design and implementation using model checking


    Beteiligte:
    Pingree, P. J. (Autor:in) / Mikk, E. (Autor:in) / Holzmann, G. (Autor:in)

    Kongress:

    21st Digital Avionics Systems Conference


    Erscheinungsdatum :

    27.10.2002


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Keine Angabe


    Sprache :

    Englisch




    Validation of mission critical software design and implementation using model checking

    Pingree, P. J. / Mikk, E. / Holzmann, G. et al. | NTRS | 2002


    Validation of mission critical software design and implementation using model checking (spacecraft)

    Pingree, P.J. / Mikk, E. / Holzmann, G.J. et al. | Tema Archiv | 2002



    Self-checking software: improving the quality of mission-critical systems

    Reinhart, T. / Boettcher, C. / Tomashefsky, S. | IEEE | 1999


    Self-checking software: improving the quality of mission-critical systems

    Reinhart, T. / Boettcher, C. / Tomashefsky, S. | Tema Archiv | 1999