| Original language | Undefined/Unknown |
|---|---|
| Title of host publication | Digital Avionics Systems Conference, 2008. DASC 2008. IEEE/AIAA 27th |
| Pages | 5-D |
| State | Published - 2008 |
Software model checking for avionics systems
Darren Cofer, Michael Whalen, Steven P. Miller
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
8
Scopus
citations