dblp.uni-trier.de www.uni-trier.de

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 BibTeX

Invited Talk

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

Refinement II

Synthesis, Optimization

Invited Talk

Formal Verification II

Panel II

Closing Talk

Copyright © Sat May 16 23:29:28 2009 by Michael Ley (ley@uni-trier.de)