IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 41 a 48 di 48
Titolo Data di pubblicazione Autore(i) File
Presenting Dynamic Markovian Agents with a Road Tunnel Application 1-gen-2009 Cerotti, Davide; M., Gribaudo; Bobbio, Andrea
Disaster propagation in heterogeneous media via Markovian agents 1-gen-2009 Cerotti, Davide; M., Gribaudo; Bobbio, Andrea
Analysis of On-Off policies in sensor networks using interacting Markovian agents 1-gen-2008 M., Gribaudo; Cerotti, Davide; Bobbio, Andrea
UML diagrams supporting domain specification inside the CRUTIAL project 1-gen-2008 Cerotti, Davide; CODETTA RAITERI, Daniele; Donatelli, S; Brasca, C; Dondossola, G; Garrone, F.
Representing the CRUTIAL project domain by means of UML diagrams 1-gen-2007 Cerotti, Davide; CODETTA RAITERI, Daniele; Donatelli, S; Brasca, C; Dondossola, G; Garrone, F.
Analysis of new control applications 1-gen-2007 Garrone, F; Brasca, C; Cerotti, Davide; CODETTA RAITERI, Daniele; Daidone, A; Deconinck, G; Donatelli, S; Dondossola, G; Grandoni, F; Kaâniche, M; Rigole, T.
CSL Model Checking for Generalized Stochastic Petri Nets 1-gen-2006 Cerotti, D.; Donatelli, S; Horváth, A.; Sproston, J.
Verifying Stochastic Well-formed Nets with CSL Model-Checking Tools 1-gen-2006 Cerotti, D.; D'Aprile, Davide; Donatelli, S.; Sproston, J.
Mostrati risultati da 41 a 48 di 48
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