01194oam 2200373zu 450 99620292010331620210806235801.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: Monograph0-7803-8236-6 Computer softwareVerificationCongressesComputer softwareVerification005.14PQKBPROCEEDING9962029201033162003 IEEE International Workshop High Level Design Validation and Test2387544UNISA