Using SCR to specify requirements of the BART advanced automated train control system
From MaRDI portal
Recommendations
- Systematic validation of a relational control program for the bay area rapid transit system
- Bay area rapid transit district advanced automated train control system -- case study description
- Verifying RTECTL properties of a train controller systems
- scientific article; zbMATH DE number 2086584
- A formal approach for the construction and verification of railway control systems
- SART: an intelligent assistant system for subway control
- A system-based approach to the formal development of embedded controllers for a railway
Cited in
(4)- Improving the semantics of the software cost reduction method
- Bay area rapid transit district advanced automated train control system -- case study description
- scientific article; zbMATH DE number 2080011 (Why is no real title available?)
- scientific article; zbMATH DE number 1746671 (Why is no real title available?)
This page was built for publication: Using SCR to specify requirements of the BART advanced automated train control system
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2751758)
