Verification of digital and hybrid systems /
This state-of-the-art tutorial overview of computer-aided verification, hybrid systems, and publicly available tools for design and verification is based on a NATO workshop. It has two parts. Part 1 addresses the basics of computer-aided verification of discrete event systems from two perspectives:...
| Corporate Authors: | , |
|---|---|
| Other Authors: | , |
| Format: | Conference Proceeding eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
[2000]
|
| Series: | NATO ASI series. Computer and systems sciences ;
no. 170. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Internet
Connect to the full text of this electronic bookAvailable Online
| Call Number: |
QA76.76.V47 V47 2000 |
|
|---|---|---|
| Call Number | Status | Get It |
| QA76.76.V47 V47 2000 | Available | |