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

Work at UNU/IIST

At the Crossroads

From Models to Software

Real-Time Systems

Verification