2. ICFEM 1998: Brisbane, Queensland, Australia

Invited Speaker

Real-Time Concurrency

Animation and Model Checking

Session 2B: Foundations

Invited Speaker

Systems

Invited Speaker

Controllers

Test Sets

Invited Speaker

Applications

Testing Applications