Angelo Furfaro

Available identifiers

zbMath Open furfaro.angeloMaRDI QIDQ440683

List of research outcomes

Publication	Date of Publication	Type
A safe supervisory flight control scheme in the presence of constraints and anomalies	2015-10-16	Paper
Model checking time-dependent system specifications using time stream Petri nets and \texttt{UPPAAL}	2012-08-19	Paper
Distributed simulation of modular time Petri nets: An approach and a case study exploiting temporal uncertainty	2007-01-25	Paper
Modular design of real-time systems using hierarchical communicating real-time state machines	2006-11-17	Paper

Research outcomes over time

This page was built for person: Angelo Furfaro