Sfoglia per Autore
Model Checking Time Petri Nets: A Translation Approach based on Uppaal and a Case Study
2005-01-01 Furfaro, Angelo; Nigro, L.
Remote Sensor Calibration Through MADAMS Services
2005-01-01 Cicirelli, F; Furfaro, Angelo; Grimaldi, D; Nigro, L.
A Case Study Using Modular Time Petri Nets and Distributed Simulation
2005-01-01 Cicirelli, F.; Furfaro, Angelo; L., Nigro
Modular Modelling and Analysis of Time-dependent Systems
2005-01-01 Cicirelli, F; Furfaro, Angelo; Nigro, L; Pupo, Francesco
An Approach Based on Simulation and Verification for the Schedulability Analysis of Real-Time Systems
2005-01-01 Furfaro, Angelo; Nigro, L.
Exploiting Temporal Uncertainty in the Distributed Simulation of Time Petri Nets
2005-01-01 F., Cicirelli; Furfaro, Angelo; Nigro, Libero
Model Checking Hierarchical Communicating Real-Time State Machines
2005-01-01 Furfaro, Angelo; Nigro, L.
A Distributed Agent-Based Simulation Model for Large Wireless Sensor Networks
2006-01-01 F., Cicirelli; Furfaro, Angelo; Nigro, Libero
Real-time climate control in a complex greenhouse
2006-01-01 Candido, A; Cicirelli, F; Furfaro, Angelo; Nigro, L.
MADAMS: A Software Architecture for the Management of Networked Measurement Services
2006-01-01 Cicirelli, F; Grimaldi, Domenico; Furfaro, Angelo; Nigro, Libero; Pupo, Francesco
Modular Design of Real-Time Systems Using Hierarchical Communicating Real-time State Machines
2006-01-01 Furfaro, Angelo; Nigro, Libero; Pupo, Francesco
Modelling and Analysis of Dynamic-Priority Real-Time Systems
2006-01-01 Cicirelli, F.; Furfaro, Angelo; L., Nigro; Pupo, Francesco
A DEVS M&S Framework based on Java and Actors
2006-01-01 Cicirelli, F.; Furfaro, Angelo; L., Nigro
Agent-based Evaluation of Two Protocols for Coverage Control in Sensor Networks
2006-01-01 Cicirelli, F.; Furfaro, Angelo; L., Nigro
An Approach to Protocol Modeling and Validation
2006-01-01 Cicirelli, F; Furfaro, Angelo; Nigro, Libero
Modelling and Schedulability Analysis of Real-time Sequence Patterns using Time Petri Nets and Uppaal
2007-01-01 Furfaro, Angelo; Nigro, L.
Using TPN/Designer and Uppaal for Modular Modelling and Analysis of Time-critical Systems
2007-01-01 Cicirelli, F.; Furfaro, Angelo; L., Nigro
Timed verification of hierarchical communicating real-time state machines
2007-01-01 Furfaro, Angelo; Nigro, Libero
Conflict management in PDEVS: An experience in modelling and simulation of time Petri nets
2007-01-01 Cicirelli, F; Furfaro, Angelo; Nigro, Libero
An Agent Infrastructure for Distributed Simulation of HLA and a Case Study using Unmanned Aerial Vehicles
2007-01-01 Cicirelli, F; Furfaro, Angelo; Giordano, A; Nigro, L.
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile