A carregar...
Formal verification: will the seedling ever flower?
In one sense, formal specification and verification have been highly successful: techniques have been developed in pioneering academic research, transferred to software companies through training and partnerships, and successfully deployed in systems with national significance. Altran UK has been in...
Na minha lista:
| Publicado no: | Philos Trans A Math Phys Eng Sci |
|---|---|
| Main Authors: | , , |
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado em: |
The Royal Society Publishing
2017
|
| Assuntos: | |
| Acesso em linha: | https://ncbi.nlm.nih.gov/pmc/articles/PMC5597725/ https://ncbi.nlm.nih.gov/pubmed/28871051 https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1098/rsta.2015.0402 |
| Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|