A Temporal and Probabilistic LOTOS Extension Oriented to Performance Modeling of Distributed Systems
Academic Article
Publication Date:
1995
Iris type:
01.01 Articolo in rivista
Keywords:
valutazione di prestazioni; tecniche formali; linguaggi formali; LOTOS
List of contributors:
Valenzano, Adriano
Published in: