CINECA IRIS Institutional Research Information System

Efficient model checking of the stochastic logic CSLTA

Amparore, E. G.;Donatelli, S.
2018-01-01
2018
PERFORMANCE EVALUATION
123-124
1
34
CSLTA; Markov regenerative process (MRgP); Path properties; Stochastic model checking; Timed automata; Software; Modeling and Simulation; Hardware and Architecture; Computer Networks and Communications
Amparore, E.G.; Donatelli, S.*
03A-Articolo su Rivista
File in questo prodotto:
File Dimensione Formato  
1-s2.0-S0166531617302134-main.pdf

Accesso riservato

Tipo di file: PDF EDITORIALE
Dimensione 2.78 MB
Formato Adobe PDF
  Visualizza/Apri   Richiedi una copia
2.78 MB Adobe PDF   Visualizza/Apri   Richiedi una copia

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/2318/1676777
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 7
  • ???jsp.display-item.citation.isi??? 3
social impact