2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE)

2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE)

Dades bibliogràfiques
Format:	Electrònic Llibre
Idioma:	English
Publicat:	IEEE
Matèries:	Components, Circuits, Devices and Systems; Computing and Processing Conference papers and proceedings.
Accés en línia:	Full text available on IEEE [2017-2023] Off-campus access
Classic Catalogue:	View this record in Classic Catalogue

Ítems similars

2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE)

2013 Eleventh ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2013)

Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010)

2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)

Proceedings of the Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign

2018 16th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)

Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011)

Formal Methods and Models for Co-Design (MEMOCODE), ACM and IEEE International Conference on

2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)

2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)

2021 19th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)

Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMCODE2012)

Proceedings of the 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign

Proceedings of the Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign

Proceedings of the Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign

Proceedings of the Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign

Proceedings of the Eleventh ACM/IEEE International Conference on Formal Methods and Models for Codesign

Proceedings of the 7th IEEE/ACM international conference on Formal Methods and Models for Codesign

Proceedings of the 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign

2014 Formal Methods in Computer-Aided Design (FMCAD)

2012 Formal Methods in Computer-Aided Design (FMCAD)

2016 Formal Methods in Computer-Aided Design (FMCAD)

2011 Formal Methods in Computer-Aided Design (FMCAD)

Proceedings of the Twelfth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis Companion

2018 Twelfth IEEE/ACM International Symposium on Networks-on-Chip (NOCS)

2018 Formal Methods in Computer Aided Design (FMCAD)

2021 Formal Methods in Computer Aided Design (FMCAD)

2017 Formal Methods in Computer Aided Design (FMCAD)

2019 Formal Methods in Computer Aided Design (FMCAD)

2011 Proceedings of the Ninth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)

2013 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)

2022 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)

Proceedings of the Second ACM/IEEE International Conference on Formal Methods and Models for Co-Design

Proceedings of the First ACM and IEEE International Conference on Formal Methods and Models for Co-Design

Proceedings of the Fourth ACM/IEEE International Conference on Formal Methods and Models for Co-Design

Proceedings of the Sixth ACM/IEEE International Conference on Formal Methods and Models for Co-Design

2014 Twelfth International Conference on ICT and Knowledge Engineering

2017 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)

2018 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)

2019 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)