3rd TASE 2009: Tianjin, China

Refine list

showing all ?? records

Invited Talks

Invited Tutorial

Real-Time and Embedded Systems

Semantics

Model Checking

Specification and Security

Software Testing I

Software Models

Verification

Concurrency

Software Testing II

Poster Papers

a service of  Schloss Dagstuhl - Leibniz Center for Informatics