VSE Verification Support Environment

Baur, Peter; Canver, E.; Cleve, Juergen; Drexler, Rainer; Foerster, Ralf; Goehner, Peter; Hauff, Harald; Hutter, Dieter; Kejwal, Peter; Loevenich, Daniel; Reif, Wolfgang; Sengler, Claus; Stephan, Werner; Ullmann, Markus; Wolpers, Andreas

VSE Verification Support Environment

Baur, Peter; Canver, E.; Cleve, Juergen; Drexler, Rainer; Foerster, Ralf; Goehner, Peter; Hauff, Harald; Hutter, Dieter; Kejwal, Peter; Loevenich, Daniel; Reif, Wolfgang; Sengler, Claus; Stephan, Werner; Ullmann, Markus; Wolpers, Andreas

Export

Statistiken

Seitenaufrufe: 25
seit 25.04.2018

Zugehörige Institution(en) am KIT	Fakultät für Informatik – Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp	Buchaufsatz
Publikationsjahr	1993
Sprache	Deutsch
Identifikator	KITopen-ID: 285893
Erscheinungsvermerk	In: BSI Sicherheitskongress. BSI-Verlag 1993.

Repository KITopen

VSE Verification Support Environment