search-head

Sie sind hier: Homepage >  Suche

    Safety-Assured Formal Model-Driven Design of the Multifunction Vehicle Bus Controller

    Safety-Assured Formal Model-Driven Design of the Multifunction Vehicle Bus Controller


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €

    Exportieren, teilen und zitieren

    Dokumentinformationen

    Titel :

    Safety-Assured Formal Model-Driven Design of the Multifunction Vehicle Bus Controller

    Beteiligte:
    Jiang, Yu (Autor:in) / Liu, Han (Autor:in) / Song, Houbing (Autor:in) / Kong, Hui (Autor:in) / Gu, Ming (Autor:in) / Sun, Jiaguang (Autor:in) / Sha, Lui (Autor:in)
    Kongress:

    Formal methods ; 2016 ; Limassol, Cyprus

    Erschienen in:

    Formal methods ; 757-763

    Lecture notes in computer science ; 9995

    Erscheinungsdatum :

    2016-01-01

    Format / Umfang :

    7 pages

    ISSN :

    0302-9743

    Medientyp :

    Aufsatz (Konferenz)

    Format :

    Print

    Sprache :

    Unbekannt

    © Metadata Copyright the British Library Board and other contributors. All rights reserved.

    Ähnliche Titel

    Safety-Assured Model-Driven Design of the Multifunction Vehicle Bus Controller

    Jiang, Yu / Liu, Han / Song, Houbing et al. | IEEE | 2018

    Safety - Stability assured automatically

    Online Contents | 2007

    Assured Crew Return Vehicle

    C. J. Cerimele / R. C. Ried / W. L. Peterson et al. | NTIS | 1989

    Assured vehicle absolute localisation

    KWAKKERNAAT MAURICE ROGIER JOZEF ARTHUR EMANUEL / BIJLSMA TJERK | Europäisches Patentamt | 2018

    Freier Zugriff

    Assured Crew Return Vehicle

    Stone, D. A. / Craig, J. W. / Drone, B. et al. | NTRS | 1991

    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €

    Seitennavigation

    Dokumentinformationen

    Ähnliche Titel

    Exportieren, teilen und zitieren