Software model checking for avionics systems

Darren Cofer, Michael Whalen, Steven P. Miller

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Scopus citations
Original languageUndefined/Unknown
Title of host publicationDigital Avionics Systems Conference, 2008. DASC 2008. IEEE/AIAA 27th
Pages5-D
StatePublished - 2008

Cite this