Publikationen

Seite 4 von 5.

Werner Stephan; Susanne Biundo
Deduction-Based Refinement Planning
In: Brian Drabble (Hrsg.). Proceedings of the Third International Conference on Artificial Intelligence Planning Systems. International Conference on …
Dieter Hutter; Bruno Langenstein; Claus Sengler; Jörg Siekmann; Werner Stephan; Andreas Wolpers
Deduction in the Verification Support Environment (VSE)
In: J. Woodcock; M. C. Gaudel (Hrsg.). Proceedings of the Third International Symposium of Formal Methods Europe: Industrial Benefit and Advances in …
Frank Koop; Markus Ullmann; Stefan Wittmann; Dieter Hutter; Bruno Langenstein; Claus Sengler; Werner Stephan; Andreas Wolpers; Wolfgang Reif
The VSE development method - a way to engineer high-assurance software systems
In: R. Gotzhein; J. Bredereke (Hrsg.). Tagungsband des 5. GI/ITG-Fachgesprächs "Formale Beschreibungstechniken für verteilte Systeme". …
Werner Stephan; Susanne Biundo
Deduction-based Refinement Planning
DFKI, DFKI Research Reports (RR), Vol. 95-13, 1995.
Dieter Hutter; Bruno Langenstein; Claus Sengler; Jörg Siekmann; Werner Stephan; Andreas Wolpers
Verification Support Environment (VSE)
In: William John Cullyer; Wolfgang A. Halang; Bernd J. Krämer (Hrsg.). Proceedings of the Dagstuhl Seminar on High Integrity Programmable Electronic …
Dieter Hutter; Werner Stephan
Deduction in the Verification Support Environment (VSE)
In: A. Ireland (Hrsg.). Proceedings AISB-Workshop Automated Reasoning: Bridging the gap between theory and practice. AISB-Workshop Automated …
Dieter Hutter; Bruno Langenstein; Claus Sengler; Werner Stephan
Deduction in the Verification Support Environment (VSE)
In: B. Buth; R. Berghammer (Hrsg.). Proceedings of the Workshop on Systems for Computer-Aided Specification, Development and Verification. Workshop on …
R. Förster; P. Kejwal; P. Baur; P. Göhner; J. Cleve; R. Drexler; Dieter Hutter; Claus Sengler; Jörg Siekmann; Werner Stephan; A. Wolpers; W. Reif; E. Canver; F. W. von Henke
Verification Support Enviroment (VSE)
In: Tagungsband 3. Deutscher IT-Sicherheitskongress der BSI. Deutscher IT-Sicherheitskongress der BSI, 3. SecuMedia, Ingelheim, 1994.
Markus Ullmann; M. Hauff; Peter Loevenich; Peter Baur; Peter Göhner; Peter Kejwal; Wolfgang Reif; Werner Stephan; Dieter Hutter; Claus Sengler; Jürgen Cleve
VSE Verification Support Environment. Ein Werkzeug zur Entwicklung vertrauenswürdiger und zuverlässiger Systeme in Anlehnung an gültige Sicherheitskriterien
In: Proceedings of the 3. GI-Fachtagung Verläßliche Informationssysteme Vis'93. GI-Fachtagungen, 3. May 11-13, München, Germany, DuD-Fachbeiträge, …
Markus Ullmann; M. Hauff; Peter Loevenich; Peter Baur; Peter Göhner; Peter Kejwal; Wolfgang Reif; Werner Stephan; Dieter Hutter; Claus Sengler; Jürgen Cleve
VSE Verification Support Environment
In: Proceedings Online 93. European Congress Fair for Technical Communication (ONLINE-93), Hamburg, Germany, 1993.