dblp.uni-trier.de GI

FBT 1998: Cottbus, Germany

Hartmut König, Peter Langendörfer (Eds.): Formale Beschreibungstechniken für verteilte Systeme, 8. GI/ITG-Fachgespräch, Cottbus, 4. und 5. Juni 1998. Verlag Shaker 1998, ISBN 3-8265-3807-2 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Eingeladene Vorträge

Test und Verifikation I

Test und Verifikation II

Neue Spezifikationstechniken II

Fallstudien

Hardware-Software Codesign

MSCs

SDL

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