Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Validation of mission critical software design and implementation using model checking


    Contributors:
    Pingree, P. J. (author) / Mikk, E. (author) / Holzmann, G. (author)

    Conference:

    21st Digital Avionics Systems Conference


    Publication date :

    2002-10-27


    Type of media :

    Conference paper


    Type of material :

    No indication


    Language :

    English




    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 Archive | 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 Archive | 1999