ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings.
Mapping Intimacies
◽
10.1109/memcod.2003
◽
2003
◽
Keyword(s):
Formal Methods
◽
International Conference
◽
Ieee International Conference
Download Full-text
Related Documents
Cited By
References
Fifth ACM & IEEE International Conference on Formal Methods and Models for Co-Design
2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007)
◽
10.1109/memcod.2007.371264
◽
2007
◽
Keyword(s):
Formal Methods
◽
International Conference
◽
Ieee International Conference
Download Full-text
Proceedings First ACM and IEEE International Conference on Formal Methods and Models for Co-Design. MEMOCODE'03
First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings.
◽
10.1109/memcod.2003.1210080
◽
2003
◽
Keyword(s):
Formal Methods
◽
International Conference
◽
Ieee International Conference
Download Full-text
Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011)
10.1109/memocode18470.2011
◽
2011
◽
Keyword(s):
Formal Methods
◽
International Conference
◽
Ieee International Conference
Download Full-text
Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010)
10.1109/memocode16638.2010
◽
2010
◽
Keyword(s):
Formal Methods
◽
International Conference
◽
Ieee International Conference
Download Full-text
2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design
10.1109/memocode14095.2008
◽
2008
◽
Keyword(s):
Formal Methods
◽
International Conference
◽
Ieee International Conference
Download Full-text
Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings.
10.1109/memocode11672.2006
◽
2006
◽
Keyword(s):
Formal Methods
◽
International Conference
◽
Ieee International Conference
Download Full-text
Fourth IEEE International Conference on Software Engineering and Formal Methods - Title
Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06)
◽
10.1109/sefm.2006.22
◽
2006
◽
Keyword(s):
Software Engineering
◽
Formal Methods
◽
International Conference
◽
Ieee International Conference
Download Full-text
Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMCODE2012)
10.1109/memocode20498.2012
◽
2012
◽
Keyword(s):
Formal Methods
◽
International Conference
◽
Ieee International Conference
Download Full-text
Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007)
10.1109/sefm12430.2007
◽
2007
◽
Keyword(s):
Software Engineering
◽
Formal Methods
◽
International Conference
◽
Ieee International Conference
Download Full-text
Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05)
10.1109/sefm10602.2005
◽
2005
◽
Keyword(s):
Software Engineering
◽
Formal Methods
◽
International Conference
◽
Ieee International Conference
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close