RicercaInizia una nuova ricerca
NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.
A GSPN semantics for Continuous Time Bayesian Networks with Immediate Nodes
2009-01-01 Portinale, Luigi; CODETTA RAITERI, Daniele
Analysis of new control applications
2007-01-01 Garrone, F; Brasca, C; Cerotti, Davide; CODETTA RAITERI, Daniele; Daidone, A; Deconinck, G; Donatelli, S; Dondossola, G; Grandoni, F; Kaâniche, M; Rigole, T.
ARPHA: an FDIR architecture for Autonomous Spacecrafts based on Dynamic Probabilistic Graphical Models
2010-01-01 CODETTA RAITERI, Daniele; Portinale, Luigi
DBNet, a tool to convert Dynamic Fault Trees into Dynamic Bayesian Networks
2005-01-01 Montani, Stefania; Portinale, Luigi; Bobbio, Andrea; Varesio, Marco; CODETTA RAITERI, Daniele
Development of a Dynamic Fault Tree solver based on Colored Petri Nets and graphically interfaced with DrawNET
2003-01-01 CODETTA RAITERI, Daniele
drawnet2sharpe & sharpe2astra - User's manual
2002-01-01 CODETTA RAITERI, Daniele; Bobbio, Andrea
Extended Fault Trees Analysis supported by Stochastic Petri Nets
2005-01-01 CODETTA RAITERI, Daniele
List of requirements on formalisms and selection of appropriate tools
2008-01-01 Donatelli, S; Chiaradonna, S; CODETTA RAITERI, Daniele; DI GIANDOMENICO, F; Franceschinis, Giuliana Annamaria; Gribaudo, Marco; Kaâniche, M; Lollini, P; Romani, F; Sproston, J.
Making CORBA fault-tolerant
2004-01-01 CODETTA RAITERI, Daniele
Methodologies synthesis
2007-01-01 Kaâniche, M; Bernardi, S; Bobbio, Andrea; Brasca, C; Chiaradonna, S; CODETTA RAITERI, Daniele; DI GIANDOMENICO, F; Dondossola, G; Franceschinis, Giuliana Annamaria; Garrone, F; Horvath, A; Kanoun, K; Laprie, Jc; Lollini, P; Sproston, J.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A GSPN semantics for Continuous Time Bayesian Networks with Immediate Nodes | 1-gen-2009 | Portinale, Luigi; CODETTA RAITERI, Daniele | |
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. | |
ARPHA: an FDIR architecture for Autonomous Spacecrafts based on Dynamic Probabilistic Graphical Models | 1-gen-2010 | CODETTA RAITERI, Daniele; Portinale, Luigi | |
DBNet, a tool to convert Dynamic Fault Trees into Dynamic Bayesian Networks | 1-gen-2005 | Montani, Stefania; Portinale, Luigi; Bobbio, Andrea; Varesio, Marco; CODETTA RAITERI, Daniele | |
Development of a Dynamic Fault Tree solver based on Colored Petri Nets and graphically interfaced with DrawNET | 1-gen-2003 | CODETTA RAITERI, Daniele | |
drawnet2sharpe & sharpe2astra - User's manual | 1-gen-2002 | CODETTA RAITERI, Daniele; Bobbio, Andrea | |
Extended Fault Trees Analysis supported by Stochastic Petri Nets | 1-gen-2005 | CODETTA RAITERI, Daniele | |
List of requirements on formalisms and selection of appropriate tools | 1-gen-2008 | Donatelli, S; Chiaradonna, S; CODETTA RAITERI, Daniele; DI GIANDOMENICO, F; Franceschinis, Giuliana Annamaria; Gribaudo, Marco; Kaâniche, M; Lollini, P; Romani, F; Sproston, J. | |
Making CORBA fault-tolerant | 1-gen-2004 | CODETTA RAITERI, Daniele | |
Methodologies synthesis | 1-gen-2007 | Kaâniche, M; Bernardi, S; Bobbio, Andrea; Brasca, C; Chiaradonna, S; CODETTA RAITERI, Daniele; DI GIANDOMENICO, F; Dondossola, G; Franceschinis, Giuliana Annamaria; Garrone, F; Horvath, A; Kanoun, K; Laprie, Jc; Lollini, P; Sproston, J. |
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
Opzioni
Scopri
Tipologia
- 5 Altro 16
- 5 Altro::5.13 Altro 16
Data di pubblicazione
- 2010 - 2019 3
- 2002 - 2009 13
Keyword
- Class Diagram 1
- Draw-Net 1
- formalisms 1
- meta-model 1
- models 1
- Petri Net 1
- UML 1
- XML 1
Lingua
- eng 1
Accesso al fulltext
- open 16