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 |
Search Result 1
