Advances in Hardware Design and Verification (IFIP Advances in Information and Communication Technology)
Description
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.
Keywords
COMPUTER INPUT-OUTPUT EQUIPMENT
1997Book
Author(s)IFIP TC10 WG10.5 International Conference on Correct Hardware and Verification Methods. (9th 1997 Montréal, Canada).
PublisherSpringer
ISBN9780412813306
LanguageEnglish
