4. ACSD 2004:
Hamilton, Ontario, Canada
4th International Conference on Application of Concurrency to System Design (ACSD 2004), 16-18 June 2004, Hamilton, Canada.
IEEE Computer Society 2004, ISBN 0-7695-2077-4
- Ed Brinksma:
Testing Times: On Model-Driven Test Generation for Non-Deterministic Real-Time Systems.
Architecture, Circuits, and Communication
Synchronous Systems and Components
Process Algebras and Petri Nets
Programming Languages and Translations
- John G. Thistle:
Synthesis of Supervisory Controls for Discrete Event Systems.
Last update Fri May 24 18:26:07 2013
CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page