CINECA IRIS Institutional Research Information System

Probabilistic Model Checking of Regenerative Concurrent Systems

HORVATH, Andras;
2016-01-01
2016
42
2
153
169
http://ieeexplore.ieee.org/abstract/document/7202875/
Markov Regenerative Process; Markov Renewal Theory; Probabilistic Model Checking; Reachability; Stochastic Petri Net; Software
Paolieri, Marco; Horváth, András; Vicario, Enrico
03A-Articolo su Rivista
File in questo prodotto:
File Dimensione Formato  
bolgheri.pdf

Accesso aperto

Tipo di file: PREPRINT (PRIMA BOZZA)
Dimensione 641.12 kB
Formato Adobe PDF
Visualizza/Apri
641.12 kB Adobe PDF Visualizza/Apri
Probabilistic_Model_Checking_of_Regenerative_Concurrent_Systems.pdf

Accesso riservato

Tipo di file: PDF EDITORIALE
Dimensione 1.7 MB
Formato Adobe PDF
  Visualizza/Apri   Richiedi una copia
1.7 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/1603291
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 29
  • ???jsp.display-item.citation.isi??? 22
social impact