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

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

Opis bibliograficzny
Format:	Elektroniczne Książka
Język:	English
Wydane:	IEEE
Hasła przedmiotowe:	Components, Circuits, Devices and Systems; Computing and Processing Conference papers and proceedings.
Dostęp online:	Full text available on IEEE [2017-2023] Off-campus access
Classic Catalogue:	View this record in Classic Catalogue

Podobne zapisy

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

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

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 Eleventh ACM/IEEE International 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

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

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

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 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

2013 IEEE Eleventh International Symposium on Autonomous Decentralized Systems (ISADS)

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

2013 Formal Methods in Computer-Aided Design

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

2013 IEEE 10th International Conference on ASIC

2013 IEEE International Conference on Circuits and Systems (ICCAS)

2013 NORCHIP

2013 IEEE International Electron Devices Meeting

2013 Eleventh International Conference on ICT and Knowledge Engineering

2017 Eleventh IEEE/ACM International Symposium on Networks-on-Chip (NOCS)

2013 ACM/IEEE International Workshop on System Level Interconnect Prediction (SLIP)

2013 IEEE INISTA

2013 Australian Control Conference

2013 IEEE International Systems Conference (SysCon)

2012 Formal Methods in Computer-Aided Design (FMCAD)

2014 Formal Methods in Computer-Aided Design (FMCAD)

2016 Formal Methods in Computer-Aided Design (FMCAD)

Proceedings of the IEEE 2013 Custom Integrated Circuits Conference

2013 IEEE International SOC Conference

2013 IEEE International Symposium on Circuits and Systems (ISCAS)

2013 IEEE Aerospace Conference