
The 20 revised full papers presented were carefully reviewed and selected from numerous submissions. The conference proceedings published in this volume cover topics ranging from formal verification to real-time systems via concurrency, embedded systems, language technologies, model-driven engineering and applications of Petri Nets.
| das sunderesan sumathi s colestock michael d watkins murthy sudha | marc mercuri camille paglia dale m courtney michael f stagliano athanasios papoulis |