imagem ilustrativa
Symbolic simulation methods for industrial formal verificat
Robert B. Jones
Salvar edição
Compartilhar
- Editora: Springer Nature
- Ano: 2002
- ISBN: 9781402071034
- Symbolic simulation methods for industrial formal verificat

Descrição: This volume contains two distinct, but related, approaches to the verification problem, both based on symbolic simu... Veja mais