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
01.01.2014
17 pages
Held as part of the 11th International Conference on Software Engineering and Formal Methods (SEFM 2013).
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Space : the next twenty-five years
TIBKAT | 1989
|Space : the next twenty-five years
TIBKAT | 1987
|Next twenty-five years in aviation industry
Engineering Index Backfile | 1955
|Space Shuttle - The next twenty-five years
AIAA | 1978
|Gaming and simulation the next twenty five years
Tema Archiv | 1985
|