Multi-Domain Surety Modeling and Analysis for High Assurance Systems | |
---|---|
Author | |
Year of Publication |
1999
|
Conference Name |
Proceedings of the Engineering of Computer Based Systems
|
Date Published |
March
|
Conference Location |
Nashville, TN
|
Attachments |
Document
|
Google Scholar | BibTeX | XML |