TECHNOLOGY OF WEEK
everything is tech
Pages
(Déplacer vers…)
Accueil
▼
mercredi 8 mars 2017
Q&A: Formal Methods Push Toward Zero-Defect Software
Technology Editor Bill Wong talks with AdaCore’s Yannick Moy about what formal verification of software brings to develop zero-defect software.
read more
from Electronic Design http://bit.ly/2m08fLF
Aucun commentaire:
Enregistrer un commentaire
‹
›
Accueil
Afficher la version Web
Aucun commentaire:
Enregistrer un commentaire