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

a service of Schloss Dagstuhl - Leibniz Center for Informatics