Verification of systems and circuits using LOTOS, Petri Nets, and CCS /

Mostrar otras versiones (2)

A Step-by-Step Guide to Verification of Digital Systems. This practical book provides a step-by-step, interactive introduction to formal verification of systems and circuits. The book offers theoretical background and introduces the application of.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Yoeli, Michael, 1917-
Otros Autores: Kol, Rakefet
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Hoboken, N.J. : Wiley-Interscience, ©2008.
Colección:Wiley series on parallel and distributed computing.
Temas:
Integrated circuits > Verification.
Computer software > Verification.
LOTOS (Computer program language)
Petri nets.
Computer programs > Verification.
Circuits intégrés > Vérification.
Logiciels > Vérification.
LOTOS (Langage de programmation)
Réseaux de Pétri.
TECHNOLOGY & ENGINEERING > Electronics > Circuits > Integrated.
TECHNOLOGY & ENGINEERING > Electronics > Circuits > General.
Computer programs > Verification
Computer software > Verification
Integrated circuits > Verification
Petri nets
Acceso en línea:Texto completo
Texto completo
Descripción
Sumario:A Step-by-Step Guide to Verification of Digital Systems. This practical book provides a step-by-step, interactive introduction to formal verification of systems and circuits. The book offers theoretical background and introduces the application of.
Descripción Física:1 online resource (xv, 231 pages) : illustrations
Bibliografía:Includes bibliographical references and index.
ISBN:9780470253397
0470253398
9780470253410
047025341X
9786611284671
6611284672

Ejemplares similares