Slides das Aulas

Integrated Modular Software and System Modelling - Slides
Manfred Broy, Technical University Munich

rCOS: Component-Based Model Driven Software Development - Part 1, Part 2, Part 3
Zhiming Liu, United Nations University

Components for Reactive and Real-time Systems - Part 1 and Part 2
Ian Hayes, University of Queensland

Compositional Verification in TLA+ - Slides and TLA Models
Stephan Merz, INRIA Lorraine