Holger Giese

Formal Techniques For Distributed Systems Joint 14th Ifip Wg 61 International Conference And 32nd Ifip Wg 61 International Conference Proceedings
Holger Giese · 2012
פרטי הספר
- שנה
- 2012
- הוצאה
- Springer
- מהדורות
- 1
- ISBN
- 9783642307928
מקור הנתונים: Wikidata
עוד של Holger Giese
Holger Giese

Graph Transformation
Holger Giese · 2014
Holger Giese

Formal Techniques for Distributed Systems
Holger Giese · 2012
Holger Giese

Model-Based Engineering of Embedded Real-Time Systems
Holger Giese · 2011
Holger Giese

Architecting Critical Systems
Holger Giese · 2010
Holger Giese

Models in Software Engineering
Holger Giese · 2008
Holger Giese
Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Holger Giese · 2011