Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Hierarchical Accumulative Validation of Executable Control Specifications


    Beteiligte:

    Kongress:

    SAE 2013 world congress and exhibition ; 2013 ; Detroit, MI



    Erscheinungsdatum :

    01.01.2013


    Format / Umfang :

    430 pages


    Anmerkungen:

    Papers 2013-01-0150 to 2013-01-1779 held with gaps



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch


    Schlagwörter :


    Hierarchical Accumulative Validation of Executable Control Specifications

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




    Multiple Domain Experience in Systems Engineering Using an Executable Specifications Tool

    Winton, I. / IEEE / AIAA | British Library Conference Proceedings | 1994


    Executable formal models for validation and specless verification

    Greve, D. / Wilding, M. | Tema Archiv | 2000