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 BibTeX

Eingeladene Vorträge

Test und Verifikation I

Test und Verifikation II

Neue Spezifikationstechniken II

Fallstudien

Hardware-Software Codesign

MSCs

SDL

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