FBT 1998: Cottbus, Germany

Eingeladene Vorträge

Test und Verifikation I

Test und Verifikation II

Neue Spezifikationstechniken II

Fallstudien

Hardware-Software Codesign

MSCs

SDL

a service of Schloss Dagstuhl - Leibniz Center for Informatics