A Railway Demonstrator for experimental Validation of formal Specifications
International workshop on software specification of safety relevant transportation control tasks ; 2002 ; Brunswick, Germany
International workshop on software specification of safety relevant transportation control tasks ; 23-34
2003-01-01
12 pages
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Formal specifications of railway signalling systems using Stateflow
Tema Archive | 2007
|The 4SECURail Formal Methods Demonstrator
British Library Conference Proceedings | 2022
|Electric railway specifications
Engineering Index Backfile | 1895