8. ICFEM 2006: Macao, China

Keynote Talks

Specification and Verification

Internetware and Web-Based Systems

Concurrent, Communicating, Timing and Probabilistic Systems

Object and Component Orientation

Testing and Model Checking

Tools

Fault-Tolerance and Security

Specification and Refinement