Valeria Vittorini

Available identifiers

zbMath Open vittorini.valeriaMaRDI QIDQ2065539

List of research outcomes

Publication	Date of Publication	Type
Compositional modeling of railway virtual coupling with stochastic activity networks	2022-01-11	Paper
Dynamic state machines for formalizing railway control system specifications	2016-01-06	Paper
Applications and Theory of Petri Nets 2004	2005-12-23	Paper
https://portal.mardi4nfdi.de/entity/Q4738786	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4951656	2000-05-08	Paper
Formal Specification of Concurrent Systems: A Structured Approach	2000-01-19	Paper
A method for predictive performance of distributed programs	1997-07-06	Paper

Research outcomes over time

This page was built for person: Valeria Vittorini