Simona Bernardi
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Toward a decision support system for the clinical pathways assessment Discrete Event Dynamic Systems | 2019-10-18 | Paper |
| Dependability modeling and analysis of software systems specified with UML ACM Computing Surveys | 2014-08-13 | Paper |
| Dependability analysis of DES based on MARTE and UML state machines models Discrete Event Dynamic Systems | 2012-07-10 | Paper |
| Lectures on Concurrency and Petri Nets Lecture Notes in Computer Science | 2005-12-23 | Paper |
| Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems Lecture Notes in Computer Science | 2005-08-19 | Paper |
| Implementing compositionality for stochastic Petri nets International Journal on Software Tools for Technology Transfer. STTT | 2002-04-09 | Paper |
Research outcomes over time
This page was built for person: Simona Bernardi
