Train Systems

Rigorous Development of Complex Fault-Tolerant Systems - Lecture Notes in Computer Science ◽

10.1007/11916246_1 ◽

2006 ◽

pp. 1-36 ◽

Cited By ~ 6

Author(s):

Jean-Raymond Abrial

Download Full-text