Verification of a safety-critical railway interlocking system with real-time constraints

Details

Language :

English

ISSN :

01676423

Volume :

36

Issue :

1

Database :

Supplemental Index

Journal :

Science of Computer Programming

Publication Type :

Periodical

Accession number :

ejs2914807

Full Text :

https://doi.org/10.1016/S0167-6423(99)00016-7