Analyzing Non-Deterministic Real-Time Systems with (max,+) Algebra

• Authors:

• G. P. Brat;V. K. Garg

• Affiliations:

• -;-

• Venue:
• RTSS '98 Proceedings of the IEEE Real-Time Systems Symposium
• Year:
• 1998