Tools and Algorithms for the Construction and Analysis of Systems

Formal Methods For Components And Objects 5th International Symposium Fmco 2006 Amsterdam Netherlands November 710 2006 Revised Lectures

Automated technology for verification and analysis

Real Time and Such

Formal Techniques for Distributed Objects, Components, and Systems

Model Checking Software

Verdachts- und ereignisunabhängige Personenkontrollen

Wir vom Jahrgang 1978 - Kindheit und Jugend