Sfoglia per Autore
Mostrati risultati da 1 a 8 di 8
Model checking mobile stochastic logic
2007 R. DE NICOLA; J.-P. KATOEN; D. LATELLA; M. LORETI; M. MASSINK
Rate-Based Transition Systems for Stochastic Process Calculi
2009 R. De Nicola; D. Latella; M. Loreti; M. Massink
MarCaSPiS: a Markovian Extension of a Calculus for Services
2009 R. De Nicola; D. Latella; M. Loreti; M. Massink
Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems
2015 Latella, Diego; Loreti, Michele; Massink, Mieke
On StocS: A Stochastic Extension of SCEL
2015 Latella, Diego; Loreti, Michele; Massink, Mieke; Senni, Valerio
On-the-fly fluid model checking via discrete time population models
2015 Latella, Diego; Loreti, Michele; Massink, Mieke
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties
2015 Nenzi, Laura; Bortolussi, Luca; Ciancia, Vincenzo; Loreti, Michele; Massink, Mieke
On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination
2015 Latella, Diego; Loreti, Michele; Massink, Mieke
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Model checking mobile stochastic logic | 2007 | R. DE NICOLA; J.-P. KATOEN; D. LATELLA; M. LORETI; M. MASSINK | |
Rate-Based Transition Systems for Stochastic Process Calculi | 2009 | R. De Nicola; D. Latella; M. Loreti; M. Massink | |
MarCaSPiS: a Markovian Extension of a Calculus for Services | 2009 | R. De Nicola; D. Latella; M. Loreti; M. Massink | |
Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems | 2015 | Latella, Diego; Loreti, Michele; Massink, Mieke | |
On StocS: A Stochastic Extension of SCEL | 2015 | Latella, Diego; Loreti, Michele; Massink, Mieke; Senni, Valerio | |
On-the-fly fluid model checking via discrete time population models | 2015 | Latella, Diego; Loreti, Michele; Massink, Mieke | |
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties | 2015 | Nenzi, Laura; Bortolussi, Luca; Ciancia, Vincenzo; Loreti, Michele; Massink, Mieke | |
On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination | 2015 | Latella, Diego; Loreti, Michele; Massink, Mieke |
Mostrati risultati da 1 a 8 di 8
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