Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?

Formal verification: current use and future perspectives

IEEE Design & Test of Computers 2002 / 09 Vol. 19; Iss. 5

Formal verification: current use and future perspectives

Somasundaram, Thamarai Selvi, Kandan, Rajendar, Rajaian, Rajiv
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?
Volume:
19
Langue:
english
Journal:
IEEE Design & Test of Computers
DOI:
10.1109/mdt.2002.1033798
Date:
September, 2002
Fichier:
PDF, 376 KB
english, 2002
La conversion en est effectuée
La conversion en a échoué