01429oam 2200481zu 450 99620892900331620210807001318.01-4577-0118-9(CKB)2670000000097609(SSID)ssj0000669370(PQKBManifestationID)12310160(PQKBTitleCode)TC0000669370(PQKBWorkID)10709035(PQKB)11182128(Non_Seri)133589(NjHacI)992670000000097609(Association for Computing Machinery)10.5555/3041411(EXLCZ)99267000000009760920160829d2011 uy engur|||||||||||txtccr2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign[Place of publication not identified]IEEE20111 online resourceACM ConferencesBibliographic Level Mode of Issuance: Monograph1-4577-0117-0 ACM ConferencesMEMOCODE '11Computer simulationCongressesComputer-aided designCongressesComputer simulationComputer-aided design003.3IEEE StaffPQKBPROCEEDING9962089290033162011 9th IEEE2208328UNISA