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

3. MEMOCODE 2005: Verona, Italy

3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 11-14 July 2005, Verona, Italy, Proceedings. IEEE 2005 BibTeX

Keynote Talk I

Hardware Synthesis

Hardware Languages and Semantics

Invited Tutorial

Keynote Talk II

Software Verification

System-Level Verification

Panel

Keynote Talk III

Model Checking

Micro-Architectural Specification and Verification

Core Algorithms

Panel

Posters

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