- Title
- Rigorous Specification of Real-Time Systems.
- Creators
- S Schneider
- Contributors
- M NivatC RattrayT RusG ScolloSpringer (Publisher)
- Publication Details
- AMAST, pp.59-74
- Conference
- Algebraic Methodology and Software Technology
- Date published
- 1993
- Date submitted
- 17/05/2017
- Identifiers
- 99511015502346
- Academic Unit
- University of Surrey
- Resource Type
- Conference presentation
Conference presentation
Rigorous Specification of Real-Time Systems.
AMAST, pp.59-74
Algebraic Methodology and Software Technology
1993
Metrics
19 Record Views