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