Compositional verification of architectural models

Darren Cofer, Andrew Gacek, Steven P. Miller, Michael W Whalen, Brian LaValley, Lui Sha

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

64 Scopus citations
Original languageUndefined/Unknown
Title of host publicationNASA Formal Methods Symposium
Pages126-140
Number of pages15
StatePublished - 2012

Cite this