From Annotated LOTOS Specifications to Queueing Networks: Automating Performance Models Derivation

• Authors:

• Omar Hjiej;Abdelmalek Benzekri;Alberto Valderruten

• Affiliations:

• -;-;-

• Venue:
• Proceedings of the IFIP WG10.3 International Conference on Decentralized and Distributed Systems
• Year:
• 1993