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

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

التفاصيل البيبلوغرافية
التنسيق:	الكتروني كتاب
اللغة:	English
منشور في:	IEEE
الموضوعات:	Computing and Processing Conference papers and proceedings.
الوصول للمادة أونلاين:	Full text available on IEEE [2017-2023] Off-campus access
Classic Catalogue:	View this record in Classic Catalogue

مواد مشابهة

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)

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

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

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

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)

2018 16th 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 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign

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

Proceedings of the 2015 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

Proceedings of the eighth international workshop on Hardware/software codesign

2010 8th IEEE International Conference on Software Engineering and Formal Methods

Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis

Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis

2010 IEEE/ACM/IFIP 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

2010 Eighth IEEE European Conference on Web Services

Formal Methods in Computer Aided Design

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

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

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

Software Engineering and Formal Methods (SEFM), International Conference on

2022 IEEE/ACM 10th International Conference on Formal Methods in Software Engineering (FormaliSE)

2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE)