Verification of systems and circuits using LOTOS, Petri Nets, and CCS
By: Yoeli, Michael.
Contributor(s): Kol, Rakefet.
Material type:
BookSeries: Wiley series on parallel and distributed computing.Publisher: Hoboken: Wiley-Interscience, 2008Description: xv, 231 p.; ill.: 25 cm.ISBN: 9780471704492 .Subject(s): Computer software -- Verification | Integrated circuits -- Verification | LOTOS (Computer program language) | Petri netsDDC classification: 621.381548
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 621.381548 YOE (Browse shelf) | Available | 025623 |
Browsing DAIICT Shelves Close shelf browser
| 621.381548 PRA Practical design verification | 621.381548 ROB Analog signal generation for built-in-self-test of mixed-signal integrated circuits | 621.381548 TEH Counterfeit integrated circuits : detection and avoidance | 621.381548 YOE Verification of systems and circuits using LOTOS, Petri Nets, and CCS | 621.3815483 SHA Fast servicing with Oscilloscopes | 621.3815486 FAR Fast hopping frequency generation in digital CMOS | 621.3815486 KRO Direct digital frequency synthesizers |
There are no comments for this item.