[IEEE Fourth Annual Conference on Computer Assurance,...

  • Main
  • [IEEE Fourth Annual Conference on...

[IEEE Fourth Annual Conference on Computer Assurance, 'Systems Integrity, Software Safety and Process Security - Gaithersburg, MD, USA (19-23 June 1989)] Proceedings of the Fourth Annual Conference on Computer Assurance, 'Systems Integrity, Software Safety and Process Security - A description of a formal verification and validation (FVV) process

Smith, B., Reese, C., Lindsay, K.S., Crane, B.
Avez-vous aimé ce livre?
Quelle est la qualité du fichier téléchargé?
Veuillez télécharger le livre pour apprécier sa qualité
Quelle est la qualité des fichiers téléchargés?
Année:
1989
Langue:
english
DOI:
10.1109/cmpass.1989.76043
Fichier:
PDF, 634 KB
english, 1989
La conversion en est effectuée
La conversion en a échoué