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

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

Bibliographic Details
Format:	Electronic Book
Language:	English
Published:	IEEE
Subjects:	Computing and Processing; Communication, Networking and Broadcast Technologies; Components, Circuits, Devices and Systems Conference papers and proceedings.
Online Access:	Full text available on IEEE [2017-2023] Off-campus access
Classic Catalogue:	View this record in Classic Catalogue

Similar Items

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

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)

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

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

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

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

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

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

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

2011 Formal Methods in Computer-Aided Design (FMCAD)

2011 IEEE Ninth European Conference on Web Services

Proceedings of the ninth international symposium on Hardware/software codesign

2011 IEEE Ninth International Conference on Power Electronics and Drive Systems

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

2011 Ninth Working IEEE/IFIP Conference on Software Architecture

2011 Ninth International Conference on ICT and Knowledge Engineering

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

2012 Formal Methods in Computer-Aided Design (FMCAD)

2014 Formal Methods in Computer-Aided Design (FMCAD)

2016 Formal Methods in Computer-Aided Design (FMCAD)

2011 IEEE Ninth International Symposium on Parallel and Distributed Processing with Applications

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

2011 IEEE Ninth International Symposium on Parallel and Distributed Processing with Applications Workshops

2011 Ninth International Conference on Software Engineering Research, Management and Applications

2012 IEEE Ninth International Conference on Services Computing

Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design

Proceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design

Proceedings of the 14th ACM-IEEE International Conference on Formal Methods and Models for System Design

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

Proceedings of the 16th ACM-IEEE International Conference on Formal Methods and Models for System Design