01478oam 2200481zu 450 991014562140332120241212215420.097815090907541509090754(CKB)1000000000278380(SSID)ssj0000454280(PQKBManifestationID)11321250(PQKBTitleCode)TC0000454280(PQKBWorkID)10397815(PQKB)10362842(WaSeSS)IndRDA00037496(Association for Computing Machinery)10.5555/3041403(EXLCZ)99100000000027838020160829d2006 uy engur|||||||||||txtccr2006 IEEE/ACM 4th International Conference on Formal Methods and Models for Co-Design[Place of publication not identified]I E E E20061 online resource (204 pages)ACM ConferencesBibliographic Level Mode of Issuance: Monograph9781424404216 1424404215 ACM ConferencesMEMOCODE '06Engineering & Applied SciencesHILCCComputer ScienceHILCCEngineering & Applied SciencesComputer ScienceACM Special Interest Group on Design AutomationPQKBPROCEEDING99101456214033212006 IEEE1924933UNINA