
[IEEE Comput. Soc. Press [Proceedings 1988] Fourth Aerospace Computer Security Applications - Orlando, FL, USA (12-16 Dec. 1988)] [Proceedings 1988] Fourth Aerospace Computer Security Applications - A description of a formal verification and validation (FVV) process
Smith, B., Reese, C., Lindsay, K., Crane, B.Année:
1988
Langue:
english
DOI:
10.1109/acsac.1988.113339
Fichier:
PDF, 647 KB
english, 1988