5. ICFEM 2003: Singapore

Invited Talks

Testing and Validation

State Diagrams

PVS/HOL

Refinement

Hybrid Systems

Z/Object-Z

Petri Nets

Timed Automata

System Modeling and Checking

Semantics and Synthesis