10th TACAS 2004: Barcelona, Spain (Part of ETAPS 2004)

Refine list

showing all ?? records

Theorem Proving

Probabilistic Model Checking

Testing

Tools

Explicite State / Petri Nets

Scheduling

Constraint Solving

Timed Systems

Case Studies

Software

Temporal Logic

Abstraction

Automata Techniques

a service of  Schloss Dagstuhl - Leibniz Center for Informatics