Dynamic Scheduling in the Presence of Faults: Specification and Verification

• Authors:

• Tomasz Jankowski;Mathai Joseph

• Affiliations:

• -;-

• Venue:
• FTRTFT '96 Proceedings of the 4th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
• Year:
• 1996