[Lecture Notes in Computer Science] Abstract State Machines, Alloy, B, TLA, VDM, and Z Volume 10817 || Modelling the Hybrid ERTMS/ETCS Level 3 Case Study in Spin
Butler, Michael, Raschke, Alexander, Hoang, Thai Son, Reichl, KlausVolume:
10.1007/97
Year:
2018
Language:
english
DOI:
10.1007/978-3-319-91271-4_19
File:
PDF, 315 KB
english, 2018