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 :

    2002-10-27


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Keine Angabe


    Sprache :

    Englisch




    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. | Tema Archiv | 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