Abstract
Real-time Systems: Specification, Verification and Analysis provides a detailed account of three major aspects of real-time systems: program structures for real ...
- Title
- Specification and Verification in Timed CSP
- Creators
- SA Schneider
- Contributors
- M Joseph (Editor)
- Publication Details
- Real-time systems, (6), pp.147-181
- Number of pages
- 35
- Date published
- 1996
- Date submitted
- 17/05/2017
- Identifiers
- 99511627202346
- Academic Unit
- University of Surrey
- Resource Type
- Book chapter