A Temporal and Probabilistic LOTOS Extension Oriented to Performance Modeling of Distributed Systems
Articolo
Data di Pubblicazione:
1995
Tipologia CRIS:
01.01 Articolo in rivista
Keywords:
valutazione di prestazioni; tecniche formali; linguaggi formali; LOTOS
Elenco autori:
Valenzano, Adriano
Link alla scheda completa:
Pubblicato in: