Criteri di ricerca correnti

Filtri correnti:


Aggiungere filtri:

Utilizza i filtri per perfezionare i risultati della ricerca.

Paginazione
 
   
Prodotto trovati:
TitoloData di pubblicazioneAutore(i)TipoFile
1An ECLIPSE Plug-in for Formal Verification of BPMN Processes2010Corradini, Flavio; Polzonetti, Alberto; Barbara, Re; Falcioni, DamianoContributo in atto di convegno su volume-
2FarMAS: A MAS for Extended Quality Workflow2004Bonura D.; Corradini F.; Merelli E.; Romiti G.Contributo in atto di convegno su volume-
3Formal Semantics of an IoT-Specific Language2018CACCIAGRANO, Diletta Romana; CULMONE, RosarioContributo in atto di convegno su volume  riservati
4A Constrained ECA Language Supporting Formal Verification of WSNs2015Flavio, Corradini; Rosario, Culmone; Leonardo, Mostarda; Luca, Tesei; Franco, RaimondiContributo in atto di convegno su volume-
5A Comparison of HEED Based Clustering Algorithms - Introducing ER-HEED2016ZAIB ULLAH, ZAIB ULLAH; Mostarda, Leonardo; Gagliardi, Roberto; Cacciagrano, Diletta Romana; Corradini, FlavioContributo in atto di convegno su volume  Solo autorizzati
6Robust control of piezostage for nanoscale three-dimensional images acquisition2016Cavanini, L.; Corradini, M.L.; Criante, L.; Di Donato, A.; Farina, M.; Ippoliti, G.; Lo Turco, S.; Orlando, G.; Travaglini, C.Contributo in atto di convegno su volume-
7A DSP-based robust sensorless speed control for PMSMs2016Colombo, L.; Corradini, M.L.; Cristofaro, A.; Ippoliti, G.; Orlando, G.Contributo in atto di convegno su volume-
8A robust observer for detection and estimation of icing in wind turbines2016Corradini, M.L.; Ippoliti, G.; Orlando, G.Contributo in atto di convegno su volume-
9vIRONy: A Tool for Analysis and Verification of ECA Rules in Intelligent Environments2017Vannucchi, Claudia; Diamanti, Michelangelo; Mazzante, Gianmarco; Cacciagrano, Diletta Romana; Corradini, Flavio; Culmone, Rosario; Gorogiannis, Nikos; Mostarda, Leonardo; Raimondi, FrancoContributo in atto di convegno su volume-
10Packet Arrival Analysis in Wireless Sensor Networks2015Doddapaneni, K.; Shah, P.; Ever, E.; Tasiran, A.; Omondi, F. A.; Mostarda, L.; Gemikonakli, O.Contributo in atto di convegno su volume-