Publicaciones en colaboración con investigadores/as de Paul Sabatier University (1)

1993

  1. From annotated LOTOS specifications to queueing networks: Automating performance models derivation

    Publ by Elsevier Science Publishers B.V., pp. 401-412