1. MEMOCODE 2003:
Mont Saint-Michel,
France
1st ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2003), 24-26 June 2003, Mont Saint-Michel, France, Proceedings.
IEEE Computer Society 2003, ISBN 0-7695-1923-7
Invited Talk
- José Meseguer:
Executable Computational Logics: Combining Formal Methods and Programming Language Based System Design.
3-
System Level Models and Co-design
Short Presentation Session
Formal Verification I
Field Modifiability and Verifiability
Panel I
Refinement/Conformance I
Invited Talk
Validation,
Co-validation
Invited Talk
- Manfred Broy:
Modular Hierarchies of Models for Embedded Systems.
183-
Refinement II
Synthesis,
Optimization
Invited Talk
- Arvind:
Bluespec: A language for hardware design, simulation, synthesis and verification Invited Talk.
249-
Formal Verification II
Panel II
- Rajesh K. Gupta, Sandeep K. Shukla:
Should the space of implementation possibilities be determined by the abilities of high-level synthesis and validation?
277-
Closing Talk
Last update Fri May 25 08:26:21 2012
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page