Sciweavers

Share
AMAST
1997
Springer

Refinement Rules for Real-Time Multi-tasking Programs

10 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
Added 25 Aug 2010
Updated 25 Aug 2010
Type Conference
Year 1997
Where AMAST
Authors Colin J. Fidge
Comments (0)
books