Formal Design and Analysis of FMS Controller
International conference; 6th, Intelligent transportation systems ; 2003 ; Shanghai, China
2003-01-01
6 pages
Also known as ITSC 2003. IEEE cat no 03TH8708
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Formal design and analysis of FMS controller
IEEE | 2003
|Formal Design of Multi-Function Vehicle Bus Controller
IEEE | 2021
|Formal analysis of a space-craft controller using SPIN
Tema Archive | 2001
|Safety-Assured Formal Model-Driven Design of the Multifunction Vehicle Bus Controller
British Library Conference Proceedings | 2016
|Formal correctness of an automotive bus controller implementation at gate-level
Tema Archive | 2008
|