Sciweavers

AMAST
1997
Springer
13 years 7 months ago
Refinement Rules for Real-Time Multi-tasking Programs
Abstract. We present several formal program refinement rules for designing multi-tasking programs with hard real-time constraints.
Colin J. Fidge