Author

Holger Giese

9 known books newest first

No author bio imported yet.

Books

OpenLibrary works by this author.

9 books
Architecting Critical Systems

Architecting Critical Systems

Year unknown
Formal Techniques for Distributed Systems

Formal Techniques for Distributed Systems

Year unknown
Formal Techniques For Distributed Systems Joint 14th Ifip Wg 61 International Conference And 32nd Ifip Wg 61 International Conference Proceedings

Formal Techniques For Distributed Systems Joint 14th Ifip Wg 61 International Conference And 32nd Ifip Wg 61 International Conference Proceedings

Year unknown
Graph Transformation

Graph Transformation

Year unknown Holger Giese and Barbara König
Model-Based Engineering of Embedded Real-Time Systems

Model-Based Engineering of Embedded Real-Time Systems

Year unknown
Models in Software Engineering

Models in Software Engineering

Year unknown
Proceedings of the 6th Internatio...

Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems

Year unknown
Software Engineering for Self-Adaptive Systems

Software Engineering for Self-Adaptive Systems

Year unknown Rogério de Lemos, Holger Giese, Hausi A. Müller, and Mary Shaw
Software Engineering for Self-Adaptive Systems III. Assurances

Software Engineering for Self-Adaptive Systems III. Assurances

Year unknown Rogério de Lemos, David Garlan, Carlo Ghezzi, and Holger Giese

Fetched from OpenLibrary. Some translations may appear as separate works.