26. FORTE 2006: Paris, France

Refine list

showing all ?? records

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