125
click to vote
AMAST
1997
Springer
15 years 6 months ago
1997
Springer
Abstract. We present several formal program refinement rules for designing multi-tasking programs with hard real-time constraints.