:quality(100))
imagem ilustrativa
A roadmap for formal property verification
Pallab Dasgupta
Salvar edição
Compartilhar
- Editora: Springer Nature
- Ano: 2006
- ISBN: 9781402047572
- A roadmap for formal property verification
Descrição: Integrating formal property verification (FPV) into an existing design process raises several interesting questions... Veja mais