PRADELLI, Marco
PRADELLI, Marco
Dipartimento di Scienze e Metodi dell'Ingegneria
Mostra
records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.012 secondi).
A state-based systemic view of behaviour for safe medical computer applications
2008 Pazzi, L.; Pradelli, M.
Automatic Fault Behavior Detection and Modeling by a State-Based Specification Method
2010 Pazzi, Luca; M., Interlandi; Pradelli, Marco
Improving Quality Factors in Model-Based Embedded Software
2008 Pazzi, Luca; Pradelli, Marco
Part-Whole Formal Specification and Verification of Complex Systems
2011 Pazzi, Luca; Pradelli, Marco
Part-Whole Hierarchical Modularization of Fault-Tolerant and Goal-Based Autonomic Systems
2009 Pazzi, Luca; Pradelli, Marco
Using Part-Whole Statecharts for the safe modeling of clinical guidelines
2010 Pazzi, Luca; Pradelli, Marco
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A state-based systemic view of behaviour for safe medical computer applications | 1-gen-2008 | Pazzi, L.; Pradelli, M. | |
Automatic Fault Behavior Detection and Modeling by a State-Based Specification Method | 1-gen-2010 | Pazzi, Luca; M., Interlandi; Pradelli, Marco | |
Improving Quality Factors in Model-Based Embedded Software | 1-gen-2008 | Pazzi, Luca; Pradelli, Marco | |
Part-Whole Formal Specification and Verification of Complex Systems | 1-gen-2011 | Pazzi, Luca; Pradelli, Marco | |
Part-Whole Hierarchical Modularization of Fault-Tolerant and Goal-Based Autonomic Systems | 1-gen-2009 | Pazzi, Luca; Pradelli, Marco | |
Using Part-Whole Statecharts for the safe modeling of clinical guidelines | 1-gen-2010 | Pazzi, Luca; Pradelli, Marco |