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

Original language	Undefined/Unknown
Title of host publication	NASA Formal Methods Symposium
Pages	126-140
Number of pages	15
State	Published - 2012

Find It

@inproceedings{c18df55f4fa7403dba80642e2cdefb40,

title = "Compositional verification of architectural models",

author = "Darren Cofer and Andrew Gacek and Miller, \{Steven P.\} and Whalen, \{Michael W\} and Brian LaValley and Lui Sha",

year = "2012",

language = "Undefined/Unknown",

pages = "126--140",

booktitle = "NASA Formal Methods Symposium",

}