Automatically Verifying Railway Interlockings using SAT-based Model Checking
Electronic Communications of the EASST ; 35 , Electronic Communications of the EASST, Vol. 35 (2010): Automated Verification of Critical Systems 2010
2011
530KB
Article (Journal)
Electronic Resource
English
Engineering Index Backfile | 1933
Simulating and analyzing railway interlockings in ExSpect
TIBKAT | 1994
|Electric railway traction. Part 4: Signalling and interlockings
IET Digital Library Archive | 1995
|Safety assurance of configuration data for railway signal interlockings
IET Digital Library Archive | 2006
|Engineering Index Backfile | 1954