QEST 2011: Aachen, Germany

Mean-Field and Fluid Analysis

Invited Talk

Measurements

Stochastic Hybrid Systems

Model Checking

Tools

Invited Talk

Modeling and Security

Model Comparison and Analysis

Distributed Systems

maintained by Schloss Dagstuhl LZI at University of Trier