Sfoglia per Autore
Mostrati risultati da 1 a 3 di 3
Probabilistic Model Checking of non-Markovian Models with Concurrent Generally Distributed Timers
2011 Andras Horvath; Marco Paolieri; Lorenzo Ridi; Enrico Vicario
Transient Analysis of Networks of Stochastic Timed Automata using Stochastic State Classes
2013 Paolo Ballarini; Nathalie Bertrand; Andras Horvath; Marco Paolieri; Enrico Vicario
Probabilistic Model Checking of Regenerative Concurrent Systems
2016 Paolieri, Marco; Horváth, András; Vicario, Enrico
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Probabilistic Model Checking of non-Markovian Models with Concurrent Generally Distributed Timers | 2011 | Andras Horvath; Marco Paolieri; Lorenzo Ridi; Enrico Vicario | |
Transient Analysis of Networks of Stochastic Timed Automata using Stochastic State Classes | 2013 | Paolo Ballarini; Nathalie Bertrand; Andras Horvath; Marco Paolieri; Enrico Vicario | |
Probabilistic Model Checking of Regenerative Concurrent Systems | 2016 | Paolieri, Marco; Horváth, András; Vicario, Enrico |
Mostrati risultati da 1 a 3 di 3
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile