Cyber-Physical Systems

Publications

Page 2 of 2.

Michael Kohlhase; Johannes Lemburg; Lutz Schröder; Ewaryst Schulz
Formal Management of CAD/CAM Processes
In: Ana Cavalcanti; Dennis Dams (Hrsg.). Formal Methods. International Symposium on Formal Methods (FM-09), 16th, November 2-6, Eindhoven, …
José de Gea Fernández; Johannes Lemburg; Thomas M. Roehr; Malte Wirkus; Iliya Gurov; Frank Kirchner
Design and Control of an Intelligent Dual-Arm Manipulator for Fault-Recovery in a Production Scenario
In: ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation. IEEE International Conference on …