Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Formal Design and Analysis of FMS Controller


    Contributors:
    Xu, G. (author) / Wu, Z. (author) / IEEE

    Conference:

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



    Publication date :

    2003-01-01


    Size :

    6 pages


    Remarks:

    Also known as ITSC 2003. IEEE cat no 03TH8708



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    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 Archive | 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 Archive | 2008