Vorträge von Dr. Heinrich Rust
Formale Methoden: Ein Überblick
Berlin-Brandenburger Software-Forum, Themenabend "Formale Methoden in der Software-Entwicklung", Fraunhofer ISST, Berlin, 16.09.2004
Modelling the Generalized Railway Crossing with Hybrid Abstract State Machines.
9th IFAC Symposium Control in Transportantion Systems 2000, 13-15 June, Braunschweig/Germany 2000
Modellierung von Realzeitsystemen mit hyperrellen Zahlen.
Paderborn, 28. April 2000
Hybrid Abstract State Machines: Using the Hyperreals for Describing Continuous Changes in a Discrete Notation.
ASM2000, Monte Verità, Switerland, March 2000
Normed Dinosaurs in a Creative Chaos? Software Development as a Controlled Learning Process.
KnowTech '99, Potsdam, 17. September 1999
Drei Verwendungen formaler Methoden in der Software-Entwicklung.
Universität Karlsruhe, Karlsruhe, IPD, 8. Oktober 1998
Safety in Production Cell Components: An Approach Combining Formal Real Time Specifications and Patterns.
Heidelberg, SafeComp, 5. Oktober 1998
A PVS Specification of an Invoicing System.
Nantes, März 1998
Software-Entwicklung und Ethik.
1. Herbstkonferenz Technikphilosphie in Deutschland, Cottbus, September 1997