Angelo Furfaro
From MaRDI portal
Person:440683
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 |
|---|---|---|
| A safe supervisory flight control scheme in the presence of constraints and anomalies International Journal of Applied Mathematics and Computer Science | 2015-10-16 | Paper |
| Model checking time-dependent system specifications using time stream Petri nets and \texttt{UPPAAL} Applied Mathematics and Computation | 2012-08-19 | Paper |
| Distributed simulation of modular time Petri nets: An approach and a case study exploiting temporal uncertainty Real-Time Systems | 2007-01-25 | Paper |
| Modular design of real-time systems using hierarchical communicating real-time state machines Real-Time Systems | 2006-11-17 | Paper |
Research outcomes over time
This page was built for person: Angelo Furfaro
