ISSE

Search

VSE Verification Support Environment

M. Ullmann, Hauff, Loevenich, P. Baur, P. Göhner, P. Kejwal, R. Foerster, R. Drexler, W. Reif, W. Stephan, A. Wolpers, D. Hutter, C. Sengler, J. Cleve, and E. Canver

VSE Verification Support Environment

published 1993 in: Bonn, Germany BSI-Sicherheitskongreß

Publisher: BSI-Verlag