Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Engineering Spacecraft Mission Software using a Model-Based and Safety-Driven Design Methodology


    Autor / Urheber :

    Kathryn Weiss, Nicolas Dulac, Stephanie Chiesi, Mirna Daouk, David Zipkin, Nancy Leveson


    Beteiligte:
    Kathryn Weiss (Autor:in) / Nicolas Dulac (Autor:in) / Stephanie Chiesi (Autor:in) / Mirna Daouk (Autor:in) / David Zipkin (Autor:in) / Nancy Leveson (Autor:in)


    Erscheinungsdatum :

    2006-01-01


    Format / Umfang :

    25 pages




    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    Spacecraft mission design

    Brown, Charles D. | SLUB | 1996


    Spacecraft mission design

    Brown, Charles D. | SLUB | 1998


    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