Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Invariant Approach For Validation of Aggregative Specifications



    Kongress:

    NATO Advanced Study Institute, Verification and validation of complex and integrated human-machine systems ; 1992 ; Viermo; Portugal



    Erscheinungsdatum :

    01.01.1993


    Format / Umfang :

    8 pages



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    An aggregative model of trip making

    Kanafani, Adib K. | Elsevier | 1971


    Reconfigurable thruster selection algorithms for aggregative spacecraft systems

    Jewison, Christopher Michael | DSpace@MIT | 2014

    Freier Zugriff

    Hierarchical Accumulative Validation of Executable Control Specifications

    Mizuno, Hideaki / Farnsworth, Jared / Ueda, Koichi et al. | SAE Technical Papers | 2013


    Hierarchical Accumulative Validation of Executable Control Specifications

    Farnsworth, J. / Ueda, K. / Mizuno, H. et al. | British Library Conference Proceedings | 2013