Holger Giese
Ingenieur,
Informatiker,
Hochschullehrer
Geboren:
1970
Hat mitgewirkt an:
-
Correct dynamic service-oriented architectures : modeling and compositional verification with dynamic collaborations
-
Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants
-
Object oriented design and architecture of distributed systems
-
Model based engineering of embedded real time systems