Formal timing analysis for distributed real-time programs

• Authors:

• Horst F. Wedde;Bogdan Korel;Dorota M. Huizinga

• Affiliations:

• -;-;-

• Venue:
• Real-Time Systems
• Year:
• 1994