Verification of digital and hybrid systems / edited by M. Kemal Inan, Robert P. Kurshan.
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:...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Corporate Author: | |
| 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: |
Internet
Full Text (via Springer)Online
| Call Number: |
QA76.76.V47 V47 2000
|
|---|---|
| QA76.76.V47 V47 2000 | Available |