01224oam 2200385zu 450 991087246080332120241212215307.0(CKB)1000000000022215(SSID)ssj0000454620(PQKBManifestationID)12130106(PQKBTitleCode)TC0000454620(PQKBWorkID)10397422(PQKB)11110706(NjHacI)991000000000022215(EXLCZ)99100000000002221520160829d2003 uy engur|||||||||||txtccr2003 IEEE International Workshop High Level Design Validation and Test[Place of publication not identified]I E E E20031 online resource (viii, 178 pages) illustrationsBibliographic Level Mode of Issuance: Monograph9780780382367 0780382366 Computer softwareVerificationCongressesComputer softwareVerification005.14PQKBPROCEEDING99108724608033212003 IEEE International Workshop High Level Design Validation and Test2387544UNINA