01421oam 2200457zu 450 99620493550331620210806235951.01-5090-9075-4(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: Monograph1-4244-0421-5 ACM ConferencesMEMOCODE '06Engineering & Applied SciencesHILCCComputer ScienceHILCCEngineering & Applied SciencesComputer ScienceACM Special Interest Group on Design AutomationPQKBPROCEEDING9962049355033162006 IEEE1924933UNISA