2 search results - page 1 / 1 » Refinement Rules for Real-Time Multi-tasking Programs |
FM
1994
Springer
13 years 11 months ago
1994
Springer
Rules are presented for efficiently adding real-time requirements to existing functional program refinements.
AMAST
1997
Springer
13 years 11 months ago
1997
Springer
Abstract. We present several formal program refinement rules for designing multi-tasking programs with hard real-time constraints.