VSE: verification support environment - ein Werkzeug zur Entwicklung vertrauenswürdiger und zuverlässiger Systeme in Anlehnung an gültige Sicherheitskriterien

Export metadata

Statistics

Number of document requests

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:M. Ullmann, H. Hauff, D. Loevenich, P. Kejwal, R. Förster, P. Baur, P. Göhner, R. Drexler, Wolfgang ReifORCiDGND, W. Stephan, A. Wolpers, J. Cleve, D. Hutter, C. Sengler, E. Canver
Frontdoor URLhttps://opus.bibliothek.uni-augsburg.de/opus4/60765
ISBN:9783528053444OPAC
ISBN:9783322887825OPAC
Parent Title (German):Verläßliche Informationssysteme: Proceedings der GI-Fachtagung VIS’93
Publisher:Vieweg+Teubner Verlag
Place of publication:Wiesbaden
Editor:Gerhard Weck, Patrick Horster
Type:Part of a Book
Language:German
Year of first Publication:1993
Release Date:2019/08/27
First Page:175
Last Page:190
Series:DuD-Fachbeiträge
DOI:https://doi.org/10.1007/978-3-322-88782-5_12
Institutes:Fakultät für Angewandte Informatik
Fakultät für Angewandte Informatik / Institut für Informatik
Fakultät für Angewandte Informatik / Institut für Software & Systems Engineering
Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik
Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik / Lehrstuhl für Softwaretechnik