Davis, J., J. Scott, J. Sztipanovits, G. Karsai, and M. Martinez,
"Integrated Analysis Environment for High Impact Systems",
Proceedings of the Engineering of Computer Based Systems, Jerusalem, Israel, pp. 218--225, April, 1998.
Download: Davis_J_9_0_1998_Integrated.pdf (141.59 KB)
Davis, J., J. Scott, J. Sztipanovits, G. Karsai, and M. Martinez,
"An Integrated Multi-Domain Analysis Environment for High Consequence Systems",
Proceedings of the 1998 ASME Design Engineering Technical Conference / Computers in Engineering, Paper No. 5532, Altanta, GA, September, 1998.
Download: Davis_J_9_0_1998_An_Integtr.pdf (251.31 KB)
Davis, J., J. Scott, J. Sztipanovits, and M. Martinez,
"Multi-Domain Surety Modeling and Analysis for High Assurance Systems",
Proceedings of the Engineering of Computer Based Systems, Nashville, TN, pp. 254--260, March, 1999.
Download: Davis_J_3_0_1999_Multi_Doma.pdf (73.25 KB)