Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    A Model Based Development and Verification Process for Satellite Design


    Contributors:
    Baumann, K. (author) / Eickhoff, J. (author) / Shirasaka, S. (author)

    Conference:

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



    Publication date :

    2002-01-01


    Size :

    5 pages


    Remarks:

    Conference held in 2 volumes



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    SAX satellite design and verification

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



    Formal Verification in Model Based Development

    Hocking, Ashlie B. / Knight, John C. / Aiello, M. Anthony et al. | British Library Conference Proceedings | 2015



    Formal Verification in Model Based Development

    Hocking, Ashlie B. / Knight, John C. / Aiello, M. Anthony et al. | SAE Technical Papers | 2015