Validation of the ABZ Landing Gear System Using ProB
Validation of Component and Service Federations in Automotive Software Applications
Trip Report E. W. Dijkstra, Poland and USSR, 4–25 September 1976
Trip Report E. W. Dijkstra, Newcastle, 8–12 September 1975
Towards Verification of Model Transformations Via Goal-Directed Certification
Towards Model-Driven Development of Hard Real-Time Systems
Towards a Component Architecture for Hard Real Time Control Applications
The Landing Gear System Case Study
The Landing Gear Case Study in Hybrid Event-B