Michael (Department of Computer Science, Technion (Israel)) Yoeli,
Rakefet (Electrical Engineering Department, Technion (Israel)) Kol
John Wiley & Sons Inc
e druk, 2008
9780471704492
Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS
Specificaties
Gebonden, 248 blz.
|
EN
John Wiley & Sons Inc |
e druk, 2008
ISBN13: 9780471704492
Rubricering
Onderdeel van serie
Wiley Series on Parallel and Distributed Computing
Levertijd ongeveer 15 werkdagen
Samenvatting
This book provides a step-by-step interactive introduction to formal verification of systems and circuits. In view of the complexity of current parallel digital systems, a formal approach to their analysis and verification becomes essential. This text makes use of two powerful analysis tool sets: LOTOS-based CADP & Petri-Net based PETRIFY.
Specificaties
ISBN13:9780471704492
Taal:EN
Bindwijze:Gebonden
Aantal pagina's:248
Uitgever:John Wiley & Sons Inc