Pages that link to "Item:Q1859163"
From MaRDI portal
The following pages link to A system-based approach to the formal development of embedded controllers for a railway (Q1859163):
Displaying 5 items.
- A formal approach for the construction and verification of railway control systems (Q539161) (← links)
- Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application (Q736916) (← links)
- Modelling the embedded control system using iUML-B pattern state machine (Q1629456) (← links)
- Using SCR to specify requirements of the BART advanced automated train control system (Q2751758) (← links)
- A refinement-based approach to deriving train controllers (Q2751760) (← links)