Formal verification of protocol specified in LTS for railway signalling systems
Formal verification of protocol specified in LTS for railway signalling systems
- Neue Suche nach: Lee, J.-H.
- Neue Suche nach: Hwang, J.-G.
- Neue Suche nach: Yoon, Y.-G.
- Neue Suche nach: Park, G.-T.
- Neue Suche nach: Lee, J.-H.
- Neue Suche nach: Hwang, J.-G.
- Neue Suche nach: Yoon, Y.-G.
- Neue Suche nach: Park, G.-T.
- Neue Suche nach: Allan, J.
Dokumentinformationen
Formal verification of protocol specified in LTS for railway signalling systems
9th, International Conference on Computer Aided Design, Manufacture, and Operation in the Railway and Other Advanced Mass Transit Systems; Computers in railways IX ; 2004 ; Dresden, Germany
2004-01-01
10 pages
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Ähnliche Titel
Formal methods for railway signalling
| Tema Archiv | 1989
Formal specifications of railway signalling systems using Stateflow
| Tema Archiv | 2007
A formal approach to railway signalling
| Tema Archiv | 1990
Application of Formal Methods to the Railway Signalling Systems
| British Library Online Contents | 2002