↓ Skip to main content

High Integrity Software

Overview of attention for book
Attention for Chapter 7: Using SCR to Specify Requirements of the Bart Advanced Automated Train Control System
Altmetric Badge

Citations

dimensions_citation
6 Dimensions