Symbolic simulation methods for industrial formal verificat

Robert B. Jones

Salvar edição
  • Editora: Springer Nature
  • Ano: 2002
  • ISBN: 9781402071034
  • Symbolic simulation methods for industrial formal verificat
Ler sinopse completa
Symbolic Simulation Methods for Industrial Formal Verificat

Symbolic Simulation Methods for Industrial Formal Verificat

Robert B. Jones | 2002

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

Veja as outras undefined ofertas de novos deste livro: