Advances in Hardware Design and Verification [electronic resource] : IFIP TC10 WG10.5 International Conference on Correct Hardware and Verification Methods, 16–18 October 1997, Montreal, Canada /
CHARM '97 is the ninth in a series of working conferences devoted to the development and use of formal techniques in digital hardware design and verification. This series is held in collaboration with IFIP WG 10.5. Previous meetings were held in Europe every other year.
Saved in:
Main Authors: | , , |
---|---|
Format: | Texto biblioteca |
Language: | eng |
Published: |
Boston, MA : Springer US : Imprint: Springer,
1997
|
Subjects: | Computer science., Information storage and retrieval., Computer Science., Information Storage and Retrieval., |
Online Access: | http://dx.doi.org/10.1007/978-0-387-35190-2 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Summary: | CHARM '97 is the ninth in a series of working conferences devoted to the development and use of formal techniques in digital hardware design and verification. This series is held in collaboration with IFIP WG 10.5. Previous meetings were held in Europe every other year. |
---|