Sfoglia per Autore
A Java toolset for modelling and simulation of complex timed Petri nets
2002-01-01 Carullo, L; Furfaro, Angelo; Nigro, L; Pupo, F.
Real-Time Systems Development Using Hierarchical State Machines
2003-01-01 Furfaro, Angelo; Nigro, Libero; Pupo, Francesco
Development of a multimedia QoS synchronizer using AspectJ
2003-01-01 Furfaro, Angelo; Nigro, L.; Pupo, F.
Petri Net Tools for Modelling and Simulation of Complex Systems
2003-01-01 Cicirelli, F.; Furfaro, Angelo; Nigro, L.; Pupo, F.
Real-time systems development using hierachical state machines
2003-01-01 Furfaro, Angelo; Nigro, L; Pupo, F.
Modelling and discrete event simulation using Rainbow
2003-01-01 Furfaro, Angelo; Nigro, L.; Pupo, F.
Modelling and simulation of complex systems using TPN Designer
2003-01-01 Carullo, L; Furfaro, Angelo; Nigro, Libero; Pupo, Francesco
Model Checking Tasking Sets using Time Petri Nets and Uppaal
2004-01-01 Furfaro, Angelo; Nigro, L.; Pupo, F.
Management Architecture for Distributed Measurement Services
2004-01-01 Cicirelli, F; Furfaro, Angelo; Grimaldi, D; Nigro, L; Pupo, F.
Multimedia synchronization based on Aspect Oriented Programming
2004-01-01 Furfaro, Angelo; Nigro, Libero; Pupo, Francesco
Scripting and Monitoring in TPN Designer Simulations: A Case Study using the Production Cell
2004-01-01 Cicirelli, F; Furfaro, Angelo; Nigro, L; Pupo, F.
Modular Modelling and Analysis of Time-dependent Systems
2005-01-01 Cicirelli, F; Furfaro, Angelo; Nigro, L; Pupo, Francesco
Modelling and Analysis of Dynamic-Priority Real-Time Systems
2006-01-01 Cicirelli, F.; Furfaro, Angelo; L., Nigro; Pupo, Francesco
Modular Design of Real-Time Systems Using Hierarchical Communicating Real-time State Machines
2006-01-01 Furfaro, Angelo; Nigro, Libero; Pupo, Francesco
MADAMS: A Software Architecture for the Management of Networked Measurement Services
2006-01-01 Cicirelli, F; Grimaldi, Domenico; Furfaro, Angelo; Nigro, Libero; Pupo, Francesco
A component-based architecture for modelling and simulation of adaptive complex systems
2007-01-01 Cicirelli, F; Furfaro, Angelo; Nigro, L; Pupo, Francesco
Temporal Analysis of Complex Time-Dependent Systems: an Approach Based on Time Petri Nets, ActorDEVS and HLA
2008-01-01 F., Cicirelli; Furfaro, Angelo; Nigro, Libero; Pupo, Francesco
Model-checking Time Stream Petri Nets: An Approach and an Application to Project Management
2010-01-01 Cicirelli, F.; Furfaro, Angelo; L., Nigro; Pupo, Francesco
Temporal Verification of RT-DEVS Models with Implementation Aspects
2010-01-01 Cicirelli, F.; Furfaro, Angelo; Nigro, Libero; Pupo, Francesco
Modelling and verification of concurrent programs using Uppaal
2011-01-01 Cicirelli, F.; Nigro, Libero; Pupo, Francesco
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