CNR Institutional Research Information System

A Temporal and Probabilistic LOTOS Extension Oriented to Performance Modeling of Distributed Systems

1995
1995
Istituto di Elettronica e di Ingegneria dell'Informazione e delle Telecomunicazioni - IEIIT
Inglese
XXV
3
195
214
20
Sì, ma tipo non specificato
valutazione di prestazioni
tecniche formali
linguaggi formali
LOTOS
4
info:eu-repo/semantics/article
262
M Ajmone Marsan, ; Bianco, A; Ciminiera, L; R Sisto, A Valenzano
01 Contributo su Rivista::01.01 Articolo in rivista
none
01.01 Articolo in rivista
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.14243/243508
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact