Twenty-Five Years of Formal Methods and Railways: What Next?
Workshop, Towards a formal methods body of knowledge for railway control and safety systems; FM-RAIL-BOK workshop 2013 ; 2013 ; Madrid
Towards a formal methods body of knowledge for railway control and safety systems; FM-RAIL-BOK workshop 2013 ; 8368 ; 167-183
2014-01-01
17 pages
Held as part of the 11th International Conference on Software Engineering and Formal Methods (SEFM 2013).
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Engineering Index Backfile | 1896
|Next twenty-five years in aviation
Engineering Index Backfile | 1945
|Space : the next twenty-five years
TIBKAT | 1989
|Space : the next twenty-five years
TIBKAT | 1987
|Next twenty-five years in aviation
Engineering Index Backfile | 1945
|