30. FORTE / 12. FMOODS 2010: Amsterdam, The Netherlands

Invited Talk

Formal UML Modeling

Components and Architecture

Joint DisCoTec Session

Timed Process Algebra

Timed and Hybrid Automata

Program Logics and Analysis

Reasoning about Distributed Systems

maintained by Schloss Dagstuhl LZI at University of Trier