Certifying High Assurance Software

Authors:
Jeffrey M. Voas
Affiliations:
-
Venue:
COMPSAC '98 Proceedings of the 22nd International Computer Software and Applications Conference
Year:
1998

Citing 0
Cited 3

A methodology for certification of modeling and simulation applications

ACM Transactions on Modeling and Computer Simulation (TOMACS)
Improving the model development process: expanding our horizons in verification, validation, and accreditation research and practice

Proceedings of the 34th conference on Winter simulation: exploring new frontiers
Trust-based protection of software component users and designers

iTrust'03 Proceedings of the 1st international conference on Trust management

Quantified Score

Hi-index	0.00

Visualization

Abstract