Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Proceedings of the Fourth ACM/IEEE International Conference on Formal Methods and Models for Co-Design
Year of Publication 01.01.2006
Get full text
Conference Proceeding
Proceedings of the Eleventh ACM/IEEE International Conference on Formal Methods and Models for Codesign
Year of Publication 01.10.2013
Get full text
Conference Proceeding
Proceedings of the Second ACM/IEEE International Conference on Formal Methods and Models for Co-Design
Year of Publication 01.01.2004
Get full text
Conference Proceeding
Proceedings of the 2nd ACM/IEEE International Conference on Formal Methods and Models for Co-Design
Year of Publication 11.07.2005
Get full text
Conference Proceeding
Proceedings of the 16th ACM-IEEE International Conference on Formal Methods and Models for System Design
Year of Publication 15.10.2018
Get full text
Conference Proceeding
Proceedings of the 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign
Year of Publication 30.05.2007
Get full text
Conference Proceeding
Proceedings of the Sixth ACM/IEEE International Conference on Formal Methods and Models for Co-Design
Year of Publication 01.06.2008
Get full text
Conference Proceeding
Proceedings of the 7th IEEE/ACM international conference on Formal Methods and Models for Codesign
Year of Publication 13.07.2009
Get full text
Conference Proceeding
Guest Editorial: Special Issue of ACM TECS on the ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2017)
Derler, Patricia, Schneider, Klaus, Talpin, Jean-Pierre
Published in ACM transactions on embedded computing systems (01.11.2018)
Get full text
Published in ACM transactions on embedded computing systems (01.11.2018)
Journal Article
Proceedings of the First ACM and IEEE International Conference on Formal Methods and Models for Co-Design
Year of Publication 24.06.2003
Get full text
Conference Proceeding
Proceedings, first ACM and IEEE International Conference on Formal Methods and Models for Co-Design : MEMOCODE '03 : 24-26 June 2003, Mont Saint-Michel, France
ACM & IEEE International Conference on Formal Methods and Models for Co-Design, IEEE Computer Society. Design Automation Technical Committee, IEEE Circuits and Systems Society, ACM Special Interest Group on Design Automation
Year of Publication 2003
Get full text
Year of Publication 2003
Book
Proceedings of the Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign
Year of Publication 01.10.2014
Get full text
Conference Proceeding
2025 IEEE/ACM 13th International Conference on Formal Methods in Software Engineering FormaliSE 2025
Published in FME Workshop on Formal Methods in Software Engineering (Online)
(27.04.2025)
Get full text
Conference Proceeding
MEMOCODE 2011 Hardware/Software CoDesign Contest: NoC simulator
Chiou, D.
Published in 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (01.07.2011)
Published in 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (01.07.2011)
Get full text
Conference Proceeding
Mining assumptions for synthesis
Wenchao Li, Dworkin, L., Seshia, S. A.
Published in 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (01.07.2011)
Published in 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (01.07.2011)
Get full text
Conference Proceeding
Rigorous system level modeling and analysis of mixed HW/SW systems
Bourgos, P., Basu, A., Bozga, M., Bensalem, S., Sifakis, J., Huang, K.
Published in 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (01.07.2011)
Published in 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (01.07.2011)
Get full text
Conference Proceeding