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 | Computer software | Computing in civil engineering | Rail transportation | Automated people movers | Automation and robotics | Light rail transit | Subways

Services: Buy this book/Buy this article


Return to search