A Refinement-Based Approach to Deriving Train Controllers

The Kluwer International Series in Engineering and Computer Science - High Integrity Software ◽

10.1007/978-1-4615-1391-9_9 ◽

2001 ◽

pp. 197-240 ◽

Author(s):

Victor L. Winter ◽

Deepak Kapur ◽

Raymond S. Berg

Download Full-text