Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Formal Design and Analysis of FMS Controller


    Beteiligte:
    Xu, G. (Autor:in) / Wu, Z. (Autor:in) / IEEE

    Kongress:

    International conference; 6th, Intelligent transportation systems ; 2003 ; Shanghai, China



    Erscheinungsdatum :

    2003-01-01


    Format / Umfang :

    6 pages


    Anmerkungen:

    Also known as ITSC 2003. IEEE cat no 03TH8708



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Formal design and analysis of FMS controller

    Xu Gang, / ZhiMing Wu, | IEEE | 2003


    Formal Design of Multi-Function Vehicle Bus Controller

    Jiang, Yu / Wang, Mingzhe / Su, Zhuo et al. | IEEE | 2021


    Formal analysis of a space-craft controller using SPIN

    Havelund, K. / Lowry, m. / Penix, J. | Tema Archiv | 2001


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

    Jiang, Yu / Liu, Han / Song, Houbing et al. | British Library Conference Proceedings | 2016


    Formal correctness of an automotive bus controller implementation at gate-level

    Alkassar, Eyad / Böhm, Peter / Knapp, Steffen | Tema Archiv | 2008