Using SCR to specify requirements of the BART advanced automated train control system (Q2751758)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Using SCR to specify requirements of the BART advanced automated train control system |
scientific article; zbMATH DE number 1665091
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Using SCR to specify requirements of the BART advanced automated train control system |
scientific article; zbMATH DE number 1665091 |
Statements
11 April 2002
0 references
software cost reduction
0 references
0.79857767
0 references
0.7910048
0 references
0 references
Using SCR to specify requirements of the BART advanced automated train control system (English)
0 references