Original language | Undefined/Unknown |
---|---|
Title of host publication | NASA Formal Methods Symposium |
Pages | 126-140 |
Number of pages | 15 |
State | Published - 2012 |
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 proceeding › Conference contribution
94
Scopus
citations