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

6. FDL 2003: Frankfurt, Germany

Forum on specification and Design Languages, FDL 2003, September 23-26, 2003, Frankfurt, Germany, Proceedings. ECSI 2003 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

AMS-1: IP and Reuse

AMS-2: System Level Desing

AMS-3: Modelling Technigues

AMS-4: Sigma/Delta Converters

AMS-5: Desing Methodologies

AMS-6: Praktical Applications

UML-1: UML for HW/SW Codesign

UML-2: Transformations and Code Generation

UML-3: Model Driven Architekture

UML-4: Real Time and System Level Modelling

LFM-1: Property Specification and Analysis

LFM-2: Formal Specification in Application

LFM-3: System Desing under Formal Aspects

LFM-4: Formal Refinement

CSD-1: System Specification

CSD-2: Languages in Media + Projects

CSD-3: High Level Verification and Test Generation

CSD-4: Desing for Verification

No papers

CSD-5: System Desing

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