26. FORTE 2006: Paris, France

Invited Talks

Services

Middleware

Composition and Synthesis

Logics

Symbolic Verification - Slicing

Unified Modeling Languages

Petri Nets

Parameterized Verification

Real Time

Testing

maintained by Schloss Dagstuhl LZI at University of Trier