Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    A Model Based Development and Verification Process for Satellite Design


    Beteiligte:
    Baumann, K. (Autor:in) / Eickhoff, J. (Autor:in) / Shirasaka, S. (Autor:in)

    Kongress:

    International symposium; 23rd, Space technology and science; Proceedings of the twenty-third international symposium on space technology and science



    Erscheinungsdatum :

    01.01.2002


    Format / Umfang :

    5 pages


    Anmerkungen:

    Conference held in 2 volumes



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    SAX satellite design and verification

    Finocchiaro, G. / Santoro, P. / Attina, P. | British Library Conference Proceedings | 1993




    Formal Verification for Model-Based Development

    Bouali, Amar / Dion, Bernard | SAE Technical Papers | 2005


    Formal verification in model based development

    Hocking,A.B. / Knight,J.C. / Aiello,M.A. et al. | Kraftfahrwesen | 2015