Automatic verification of railway interlocking systems: A case study

Proceedings of the Workshop on Formal Methods in Software Practice

Volumn , Issue , 1998, Pages 1-6

  Petersen, Jakob Lyng ^a  

^a TECHNICAL UNIVERSITY OF DENMARK   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER CONTROL; COMPUTER SYSTEMS PROGRAMMING; FORMAL LOGIC; INTERLOCKING SIGNALS; RAILROAD STATIONS;

RAILWAY INTERLOCKING SYSTEMS;

SOFTWARE ENGINEERING;

EID: 0031681003     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (17)