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