VSE Verification Support Environment. Ein Werkzeug zur Entwicklung vertrauenswuerdiger und zuverlaessiger Systeme in Anlehnung an gueltige Sicherheitskriterien
| 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: 285793 |
| Erscheinungsvermerk | In: Verlaessliche Informationssysteme. Hrsg.: G. Weck. Braunschweig 1993. (DuD-Fachbeitraege. 16.) und In: Software- und Information-Engineering 1993. Hrsg.: F. Arnold. Velbert 1993. S. 31-46. (Congress. Online '93. 6.) |