Using SCR to specify requirements of the BART Advanced Automated Train Control system

Authors
Heitmeyer, C
Citation
C. Heitmeyer, Using SCR to specify requirements of the BART Advanced Automated Train Control system, KLUW ENGN C, 577, 2001, pp. 137-168
Categorie Soggetti
Current Book Contents
Journal title
HIGH INTEGRITY SOFTWARE → ACNP
Volume
577
Year of publication
2001
Pages
137 - 168
Database
ISI
SICI code