Holger Giese
· 9 obras en el catálogo
Obras

Models in Software Engineering

Model-Based Engineering of Embedded Real-Time Systems

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

Graph Transformation

Architecting Critical Systems

Software Engineering for Self-Adaptive Systems
