Resolving operational parameters for a change-step type of maglev propulsion system
Pinguin in Flugformation. Linux in der Luft- und Raumfahrt
Software fuer Sicherheitssysteme. Systementwurf fuer sichere Rechnersysteme
Counterplanning deceptions to foil cyber-attack plans
Innovative CAD- und Datenbanktechnologien. Einsatz beim geographischen Informationssystem der Bahn
Echtzeitfähige Kommunikationssoftware für vernetzte Steuergeräte im Kfz
Data Mining Strategies for Real-time Control in New York City
2nd ESA product assurance sympos., Nov. 10-12, 1981, Noordwijk, NL
Target-Free Multi-Axes Parallelism Testing Based on Digital Image
Sensor waveform assessor and its application
OSEKtime: highly dependable applications - objectives, basic and concepts
Towards sub-sea robotics - the automatic guidance and control of unmanned submersibles
Role of VDM(++) in the development of a real-time tracking and tracing system