The ACSD proceedings include the following topics: semantic correctness testing and model checking, performance analysis, asynchronous communication modelling, action refinement in the verification framework, synthesis of Petri nets, asynchronous hardware design, and automated scheduling.
- ISBN10 076951071X
- ISBN13 9780769510712
- Publish Date 1 September 2001
- Publish Status Active
- Publish Country US
- Imprint I.E.E.E.Press
- Format Paperback
- Pages 250
- Language English