A System-Based Approach to the Formal Development of Embedded Controllers for a Railway
- 1 January 2002
- journal article
- Published by Springer Nature in Design Automation for Embedded Systems
- Vol. 6 (4) , 355-366
- https://doi.org/10.1023/a:1016503426126
Abstract
No abstract availableKeywords
This publication has 0 references indexed in Scilit: