HORVATH, ANDRAS
HORVATH, ANDRAS
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.008 secondi).
Probabilistic Model Checking of non-Markovian Models with Concurrent Generally Distributed Timers
2011 Andras Horvath; Marco Paolieri; Lorenzo Ridi; Enrico Vicario
Probabilistic Model Checking of Regenerative Concurrent Systems
2016 Paolieri, Marco; Horváth, András; Vicario, Enrico
Transient Analysis of Networks of Stochastic Timed Automata using Stochastic State Classes
2013 Paolo Ballarini; Nathalie Bertrand; Andras Horvath; Marco Paolieri; Enrico Vicario
| 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 | |
| Probabilistic Model Checking of Regenerative Concurrent Systems | 2016 | Paolieri, Marco; Horváth, András; Vicario, Enrico | |
| Transient Analysis of Networks of Stochastic Timed Automata using Stochastic State Classes | 2013 | Paolo Ballarini; Nathalie Bertrand; Andras Horvath; Marco Paolieri; Enrico Vicario |