Lanean...
State of the Art in the Research of Formal Verification
In recent years research in formal verification of hardware and software has reached important progresses in the development of methodologies and tools to meet the increasing complexity of systems. The explicit role of Formal Verification is to find errors and to improve the reliability on the accur...
Gorde:
| Argitaratua izan da: | Ingeniería. Investigación y Tecnología |
|---|---|
| Egile Nagusiak: | , |
| Formatua: | Artigo |
| Hizkuntza: | Inglês |
| Argitaratua: |
Universidad Nacional Autónoma de México
2014
|
| Gaiak: | |
| Sarrera elektronikoa: | https://www.redalyc.org/articulo.oa?id=40431742012 |
| Etiketak: |
Etiketa erantsi
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!
|