Analyzing Schedulability of Astral Specifications using Extended Timed Automata

• Authors:

• K. Brink;Jan van Katwijk;R. F. Lutje Spelberg;W. J. Toetenel

• Affiliations:

• -;-;-;-

• Venue:
• Euro-Par '97 Proceedings of the Third International Euro-Par Conference on Parallel Processing
• Year:
• 1997