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)