| 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 | |