Cyber-Physical Systems

Publications

Page 1 of 1.

Berthold Hoffmann; Dieter Hutter; Hui Shi
Special Issue regarding Prof. Dr. Bernd Krieg-Bruckner's 66th birthday
In: Berthold Hoffmann; Dieter Hutter; Hui Shi (Hrsg.). International Journal of Software and Informatics (IJSI), Vol. 9, No. 2, Pages 1-93, Institute …
Bernd Krieg-Brückner
Chinese University Development Project
In: Berthold Hoffmann; Dieter Hutter; Hui Shi (Hrsg.). International Journal of Software and Informatics (IJSI), Vol. 9, No. 2, Pages 95-111, Science …
Till Mossakowski
On Teaching Logic and Algebraic Specification
In: Frank Drewes; Annegret Habel; Berthold Hoffmann; Detlef Plump (Hrsg.). Manipulation of Graphs, Algebras and Pictures. Essays Dedicated to …
Thomas Röfer; Christian Mandel; Axel Lankenau; Bernd Gersdorf; Udo Frese
15 Years of Rolland
In: Berthold Hoffmann; Till Mossakowski; Lutz Schröder. Festschrift Dedicated to Bernd Krieg-Brückner on the Occasion of his 60th Birthday. Pages …
Udo Frese; Tim Laue; Oliver Birbach; Jörg Kurlbaum; Thomas Röfer
(A) Vision for 2050 Context-Based Image Understanding for a Human-Robot Soccer Match
In: Berthold Hoffmann; Till Mossakowski; Lutz Schröder. Festkolloquium for Bernd Krieg-Brückner's 60th birthday. Pages 273-289, Sichere Kognitive …