Robotics Innovation Center

Publikationen

Seite 12 von 14.

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
Using Colored Terms Everywhere
In: Dagstuhl-Seminar Report, 122, IBFI GmbH. Dagstuhl Seminare/Workshops, Schloß Dagstuhl, 1995.
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". …
Dieter Hutter; Jürgen Cleve
A Methodology for Equational Reasoning
In: Jay F. Nunamaker jr.; Ralph H. Sprague jr. (Hrsg.). Proceedings Hawaii International Conference on System Sciences: Information Systems: …
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 …
Dieter Hutter
Synthesizing Induction Orderings for Existence Proofs
In: M.C. Golumbic (Hrsg.). Proceedings of the Third International Symposium on Artificial Intelligence and Mathematics. International Symposium on …
Dieter Hutter
Synthesizing Induction Orderings for Existence Proofs
In: Alan Bundy (Hrsg.). Proceedings of the 12th International Conference on Automated Deduction. International Conference on Automated Deduction …
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.
Jürgen Cleve; Dieter Hutter
Guiding equational proofs by attribute functions
Interner Bericht, 1993.

Links

Kontakt

Hauptgeschäftsstelle

Tel.: +49 421 1784 50
Fax: +49 421 1784 5415 0
robotik@dfki.de

Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Robotics Innovation Center
Robert-Hooke-Str. 1
28359 Bremen
Deutschland