17. Monterey Workshop 2012: Oxford, UK

Challenges of Large-Scale Complex IT Systems

Model-Driven Engineering

Formal Specification, Analysis and Verification