Simona Bernardi

Available identifiers

zbMath Open bernardi.simonaMaRDI QIDQ434472

List of research outcomes

Publication	Date of Publication	Type
Toward a decision support system for the clinical pathways assessment	2019-10-18	Paper
Dependability modeling and analysis of software systems specified with UML	2014-08-13	Paper
Dependability analysis of DES based on MARTE and UML state machines models	2012-07-10	Paper
Lectures on Concurrency and Petri Nets	2005-12-23	Paper
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems	2005-08-19	Paper
Implementing compositionality for stochastic Petri nets	2002-04-09	Paper

Research outcomes over time

This page was built for person: Simona Bernardi