Treffer: Model Checking Software Architecture Design
Title:
Model Checking Software Architecture Design
Authors:
Source:
2012 IEEE 14th International Symposium on High-Assurance Systems Engineering High-Assurance Systems Engineering (HASE), 2012 IEEE 14th International Symposium on. :193-200 Oct, 2012
Relation:
2012 IEEE 14th International Symposium on High-Assurance Systems Engineering (HASE)
Database:
IEEE Xplore Digital Library