Sfoglia per Autore
Mostrati risultati da 1 a 6 di 6
Improving Quality Factors in Model-Based Embedded Software
2008 Pazzi, Luca; Pradelli, Marco
A state-based systemic view of behaviour for safe medical computer applications
2008 Pazzi, L.; Pradelli, M.
Part-Whole Hierarchical Modularization of Fault-Tolerant and Goal-Based Autonomic Systems
2009 Pazzi, Luca; Pradelli, Marco
Automatic Fault Behavior Detection and Modeling by a State-Based Specification Method
2010 Pazzi, Luca; M., Interlandi; Pradelli, Marco
Using Part-Whole Statecharts for the safe modeling of clinical guidelines
2010 Pazzi, Luca; Pradelli, Marco
Part-Whole Formal Specification and Verification of Complex Systems
2011 Pazzi, Luca; Pradelli, Marco
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Improving Quality Factors in Model-Based Embedded Software | 1-gen-2008 | Pazzi, Luca; Pradelli, Marco | |
A state-based systemic view of behaviour for safe medical computer applications | 1-gen-2008 | Pazzi, L.; Pradelli, M. | |
Part-Whole Hierarchical Modularization of Fault-Tolerant and Goal-Based Autonomic Systems | 1-gen-2009 | Pazzi, Luca; Pradelli, Marco | |
Automatic Fault Behavior Detection and Modeling by a State-Based Specification Method | 1-gen-2010 | Pazzi, Luca; M., Interlandi; Pradelli, Marco | |
Using Part-Whole Statecharts for the safe modeling of clinical guidelines | 1-gen-2010 | Pazzi, Luca; Pradelli, Marco | |
Part-Whole Formal Specification and Verification of Complex Systems | 1-gen-2011 | Pazzi, Luca; Pradelli, Marco |
Mostrati risultati da 1 a 6 di 6
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