Exhaustive Computation of the Scheduled Task Execution Sequences of a Real-Time Application

• Authors:

• Annie Choquet;Dominique Geniet;Francis Cottet

• Affiliations:

• -;-;-

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