| Original language | Undefined/Unknown |
|---|---|
| Title of host publication | Digital Avionics Systems Conference, 2008. DASC 2008. IEEE/AIAA 27th |
| Pages | 5-D |
| State | Published - 2008 |
Cite this
- APA
- Standard
- Harvard
- Vancouver
- Author
- BIBTEX
- RIS
Software model checking for avionics systems
- Darren Cofer
- , Michael Whalen
- , Steven P. Miller
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
10
Link opens in a new tab
Scopus
citations