Holger Giese
Books
- Software Engineering for Self-Adaptive Systems III. Assurances
- Formal Techniques for Distributed Systems
- Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
- Models in Software Engineering
- Model-Based Engineering of Embedded Real-Time Systems
- Architecting Critical Systems
- Software Engineering for Self-Adaptive Systems
- Formal Techniques For Distributed Systems Joint 14th Ifip Wg 61 International Conference And 32nd Ifip Wg 61 International Conference Proceedings
- Graph Transformation
Author data: Open Library