| 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