Multi-Domain Surety Modeling and Analysis for High Assurance Systems
Thu, 06/12/2008 - 11:50am
| Title | Multi-Domain Surety Modeling and Analysis for High Assurance Systems |
| Publication Type | Conference Paper |
| Year of Publication | 1999 |
| Authors | Davis, J., J. Scott, J. Sztipanovits, and M. Martinez |
| Conference Name | Proceedings of the Engineering of Computer Based Systems |
| Date Published | March |
| Conference Location | Nashville, TN |
| Attachment | Size |
|---|---|
| Davis_J_3_0_1999_Multi_Doma.pdf | 73.25 KB |
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering