The following pages link to Angelo Furfaro (Q440683):
Displaying 6 items.
- Step coverability algorithms for communicating systems (Q433351) (← links)
- Model checking time-dependent system specifications using time stream Petri nets and \texttt{UPPAAL} (Q440685) (← links)
- Abstract reduction in directed model checking CCS processes (Q715051) (← links)
- A safe supervisory flight control scheme in the presence of constraints and anomalies (Q747440) (← links)
- Modular design of real-time systems using hierarchical communicating real-time state machines (Q853606) (← links)
- Distributed simulation of modular time Petri nets: An approach and a case study exploiting temporal uncertainty (Q862989) (← links)
