Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 8 di 8
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