10th Anniversary Colloquium of UNU/IIST 2002: Lisbon, Portugal

Work at UNU/IIST

At the Crossroads

From Models to Software

Real-Time Systems

Verification

a service of Schloss Dagstuhl - Leibniz Center for Informatics