Simona Bernardi

From MaRDI portal
Person:434472

Available identifiers

zbMath Open bernardi.simonaMaRDI QIDQ434472

List of research outcomes





PublicationDate of PublicationType
Toward a decision support system for the clinical pathways assessment2019-10-18Paper
Dependability modeling and analysis of software systems specified with UML2014-08-13Paper
Dependability analysis of DES based on MARTE and UML state machines models2012-07-10Paper
Lectures on Concurrency and Petri Nets2005-12-23Paper
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems2005-08-19Paper

Research outcomes over time



This page was built for person: Simona Bernardi

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:434472&oldid=7869089"
Powered by MediaWiki