Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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


    Author / Creator :

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


    Contributors:


    Publication date :

    2006-01-01


    Size :

    25 pages




    Type of media :

    Article (Journal)


    Type of material :

    Electronic Resource


    Language :

    English




    Spacecraft mission design

    Brown, Charles D. | SLUB | 1992



    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


    Spacecraft mission design

    Brown, Charles D. | TIBKAT | 1998