Application exploration of B method in the development of safety-critical control systems
2020
Conference paper
English
Rapid design exploration for safety critical distributed automotive systems
Automotive engineering | 2002
|Safety Critical Software Development for Advanced Full Authority Control Systems
British Library Conference Proceedings | 1996
|Application Development for Safety Critical Distributed Embedded Systems with Model Verification
SAE Technical Papers | 2006
|Application development of safety critical distributed embedded systems with model verification
Automotive engineering | 2006
|