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

Graph Transformation

Formal Techniques for Distributed Systems

Model-Based Engineering of Embedded Real-Time Systems

Architecting Critical 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