Refinement Rules for Real-Time Multi-tasking Programs

• Authors:

• Colin J. Fidge

• Affiliations:

• -

• Venue:
• AMAST '97 Proceedings of the 6th International Conference on Algebraic Methodology and Software Technology
• Year:
• 1997