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

9. FDL 2006: Darmstadt, Germany

Forum on specification and Design Languages, FDL 2006, September 19-22, 2006, Darmstadt, Germany, Proceedings. ECSI 2006, ISBN 978-3-00-019710-9 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

AMS-1: Formal and symbolic techniques for AMS Design

AMS-2: C-based Design of Mixed Signal Systems

See CSD Session 1

AMS-3: Modelling Approaches

AMS-4: Verification and methodology

AMS-5: Modelling Tools

CSD-1: C-based Design of Mixed Signal Systems

CSD-2: Design representation and transformation

CSD-3: Simulation

CSD-4: Modelling of architectures

CSD-5: Transaction level modelling

CSD-6: Power and Performance analysis

FPD-1: How do you monitor this property?

FPD-2: Collaborative and industrial project results

FPD-5: What is your favourite specification paradigm?

Special Session: The ICODES Project

UML Keynote

UML-1: Design flows for SoC

UML-2: Models for design space exploration

UML-3: Studies for UML based workflows

Copyright © Mon Nov 2 20:36:10 2009 by Michael Ley (ley@uni-trier.de)