01450oam 2200481zu 450 99620071180331620210807001428.01-4244-7886-3(CKB)2670000000038201(SSID)ssj0000452438(PQKBManifestationID)12167303(PQKBTitleCode)TC0000452438(PQKBWorkID)10470388(PQKB)10866637(Non_Seri)133346(NjHacI)992670000000038201(Association for Computing Machinery)10.5555/3041410(EXLCZ)99267000000003820120160829d2010 uy engur|||||||||||txtccr2010 8th IEEE/ACM International Conference on Formal Methods and Models for Codesign[Place of publication not identified]IEEE20101 online resourceACM ConferencesBibliographic Level Mode of Issuance: Monograph1-4244-7885-5 ACM ConferencesMEMOCODE '10Formal methods (Computer science)CongressesComputer simulationCongressesFormal methods (Computer science)Computer simulation004.0151ieeePQKBPROCEEDING9962007118033162010 8th IEEE1924916UNISA