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 (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. | Tema Archive | 1999


    Validation of Control Software Specification Using Design Interests Extraction and Model Checking

    Kaga, T. / Adachi, M. / Hosotani, I. et al. | British Library Conference Proceedings | 2012


    Validation of Control Software Specification Using Design Interests Extraction and Model Checking

    Hosotani, Ichiro / Konishi, Masaaki / Adachi, Masakazu et al. | SAE Technical Papers | 2012