Pages that link to "Item:Q2751761"
From MaRDI portal
The following pages link to Systematic validation of a relational control program for the bay area rapid transit system (Q2751761):
Displaying 3 items.
- Bay area rapid transit district advanced automated train control system -- case study description (Q2751757) (← 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)