A system-based approach to the formal development of embedded controllers for a railway
From MaRDI portal
Publication:1859163
DOI10.1023/A:1016503426126zbMATH Open1030.68611OpenAlexW1577350072WikidataQ59626045 ScholiaQ59626045MaRDI QIDQ1859163
Author name not available (Why is that?)
Publication date: 17 February 2003
Published in: (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1016503426126
No records found.
No records found.
This page was built for publication: A system-based approach to the formal development of embedded controllers for a railway
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1859163)