Author pages are created from data sourced from our academic publisher partnerships and public sources.
An approach to compositional model checking
- Hector A. Andrade, Beverly Sanders
- Computer Science
- Proceedings 16th International Parallel and…
- 15 April 2002
A natural trend in most of the engineering disciplines is the construction of systems from components. This has the potential to reduce costs and increase reliability, provided that the components… Expand
Proceedings of the Seventh International Workshop on Parallel and Distributed Real-time Systems