Pages that link to "Item:Q2751760"
From MaRDI portal
The following pages link to A refinement-based approach to deriving train controllers (Q2751760):
Displaying 5 items.
- A system-based approach to the formal development of embedded controllers for a railway (Q1859163) (← links)
- Bay area rapid transit district advanced automated train control system -- case study description (Q2751757) (← links)
- On the construction of a domain language for a class of reactive systems (Q2751759) (← links)
- Systematic validation of a relational control program for the bay area rapid transit system (Q2751761) (← links)
- (Q5038785) (← links)