Models and Applications of Distributed Systems
MADS
Paul Sabatier University
Tolosa, FranciaPublications in collaboration with researchers from Paul Sabatier University (1)
1993
-
From annotated LOTOS specifications to queueing networks: Automating performance models derivation
Publ by Elsevier Science Publishers B.V., pp. 401-412