Twenty-Five Years of Formal Methods and Railways: What Next?
Twenty-Five Years of Formal Methods and Railways: What Next?
- Neue Suche nach: Fantechi, A.
- Neue Suche nach: Fantechi, A.
Dokumentinformationen
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).
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Ähnliche Titel
| Engineering Index Backfile | 1896
Space : the next twenty-five years
| TIBKAT | 1989
Next twenty-five years in aviation
| Engineering Index Backfile | 1945
Space : the next twenty-five years
| TIBKAT | 1987
Next twenty-five years in aviation
| Engineering Index Backfile | 1945