Development of Safety Critical Software with the B Method
by P. Behm,P. Benoit,
A. Faivre,
C. Milonnet,
Document Type: Proceeding Paper
Part of: Automated People Movers VI: Creative Access for Major Activity Centers
Subject Headings: Safety | Rail transportation | Computing in civil engineering | Computer software | Subways | Light rail transit | Automation and robotics
Services: Buy this book/Buy this article
Return to search