Holger Giese

1. Jänner 1970

Object oriented design and architecture of distributed systems

Ausverkauft

Holger Giese Object oriented design and architecture of distributed systems

4,3

Models in software engineering

Ausverkauft

Holger Giese Models in software engineering

4,3

Efficient model synchronization of large-scale models

Ausverkauft

Holger Giese Efficient model synchronization of large-scale models

4,3

Toward bridging the gap between formal semantics and implementation of triple graph grammars

Ausverkauft

Holger Giese Toward bridging the gap between formal semantics and implementation of triple graph grammars

4,3

Formal techniques for distributed systems

Ausverkauft

Holger Giese Formal techniques for distributed systems

4,3

Modeling and verifying dynamic evolving service-oriented architectures

Ausverkauft

Holger Giese Modeling and verifying dynamic evolving service-oriented architectures

4,3

Metric temporal graph logic over typed attributed graphs

Ausverkauft

Holger Giese Metric temporal graph logic over typed attributed graphs

4,3

Postworkshop proceedings of the OMER 3, Workshop on Object Oriented Modeling of Embedded Real Time Systems

Ausverkauft

Holger Giese Postworkshop proceedings of the OMER 3, Workshop on Object Oriented Modeling of Embedded Real Time Systems

4,3

Architecting critical systems

Ausverkauft

Holger Giese Architecting critical systems

4,3

Model-based engineering of embedded real-time systems

Ausverkauft

Holger Giese Model-based engineering of embedded real-time systems

4,3

Industrial case study on the integration of SysML and AUTOSAR with triple graph grammars

Ausverkauft

Holger Giese Industrial case study on the integration of SysML and AUTOSAR with triple graph grammars

4,3