Posts Tagged "case study"
- A verified low-level implementation and visualization of the adaptive exterior light and speed control system
- A Verified Low-Level Implementation of the Adaptive Exterior Light and Speed Control System
- Validation and real-life demonstration of {ETCS} hybrid level 3 principles using a formal B model
- Using a Formal B Model at Runtime in a Demonstration of the ETCS Hybrid Level 3 Concept with Real Trains
- Three is a Crowd: SAT, SMT and CLP on a Chessboard
