H
Holger Giese
9 works on record
Works
Model-Based Engineering of Embedded Real-Time Systems
Models in Software Engineering
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
Architecting Critical Systems
Software Engineering for Self-Adaptive Systems III. Assurances
Software Engineering for Self-Adaptive Systems
Graph Transformation
Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems