VITTORINI, VALERIA

VITTORINI, VALERIA  

Dipartimento di Ingegneria elettrica e delle Tecnologie dell'Informazione  

Mostra records
Risultati 1 - 20 di 125 (tempo di esecuzione: 0.033 secondi).
Titolo Data di pubblicazione Autore(i) File
A Mapping Method for Distributed Heterogeneous Systems 1-gen-1994 Mazzeo, Antonino; Mazzocca, Nicola; Russo, Stefano; Vittorini, Valeria
A method for predictive performance evaluation of distributed programs 1-gen-1997 Mazzeo, A.; Mazzocca, N.; Russo, Stefano; Vittorini, V.
A method for predictive performance evaluation of distributed programs 1-gen-1997 Mazzeo, A.; Mazzocca, Nicola; Russo, S.; Vittorini, V.
A method for predictive performance of distributed programs 1-gen-1997 Mazzeo, A.; Mazzocca, N.; Russo, S.; Vittorini, Valeria
A multiformalism modular approach to ertms/etcs failure modeling 1-gen-2014 Flammini, Francesco; S., Marrone; M., Iacono; Mazzocca, Nicola; Vittorini, Valeria
A new modeling approach to the safety evaluation of N-modular redundant computer systems in presence of imperfect maintenance 1-gen-2009 F., Flammini; S., Marrone; Mazzocca, Nicola; Vittorini, Valeria
A new modelling approach to the safety evaluation of N-modular redundant computer systems in presence of imperfect maintenance 1-gen-2009 F., Flammini; S., Marrone; Mazzocca, Nicola; Vittorini, Valeria
A parallel graph-traversing procedure for multicomputer architectures 1-gen-1992 Mazzeo, A.; Mazzocca, N.; Sforza, Antonio; Vittorini, V.
A robust approach for on-line and off-line threat detection based on event tree similarity analysis 1-gen-2011 F., Flammini; C., Pragliola; Pappalardo, Alfio; Vittorini, Valeria
A SAN-Based Modeling Approach to Performance Evaluation of an IMS-Compliant Conferencing Framework 1-gen-2012 S., Marrone; Mazzocca, Nicola; Nardone, Roberto; R., Presta; Romano, SIMON PIETRO; Vittorini, Valeria
A Study on Multiformalism Modeling of Critical Infrastructures 1-gen-2009 F., Flammini; Vittorini, Valeria; Mazzocca, Nicola; C., Pragliola
A Study on Multiformalism Modelling of Critical Infrastructures 1-gen-2009 Flammini, F.; Mazzocca, Nicola; Pragliola, C.; Vittorini, Valeria
A systematic approach to the Petri net based specification of concurrent systems 1-gen-1997 Mazzeo, A.; Mazzocca, N.; Russo, Stefano; Vittorini, V.
A Systematic Approach to the Petri Net Based Specifications of Concurrent Systems 1-gen-1997 Mazzeo, Antonino; Mazzocca, N.; Russo, S.; Vittorini, V.
A Systematic Approach to the Petri Net Based Specifications of Concurrent Systems 1-gen-1997 Mazzeo, A; Mazzocca, Nicola; Russo, S.; Vittorini, V.
A Systematic Approach to the Petri Net Based Specifications of Concurrent Systems 1-gen-1997 Mazzeo, A.; Mazzocca, N.; Russo, S.; Vittorini, Valeria
An Experience in Railway interlocking System Specification and formal Verification 1-gen-2003 Chianese, R; Lazzaro, A; Marmo, P; Mazzocca, Nicola; Papa, D; Vittorini, V.
An Experience in Railway interlocking Systems Specification and Formal Verification 1-gen-2003 Chianese, R.; Lazzaro, A.; Marmo, P.; Mazzocca, N.; Papa, D.; Vittorini, Valeria
An Experience in Railway interlocking Systems Specification and Formal Verification 1-gen-2003 Chianese, R.; Lazzaro, A.; Marmo, P; Mazzocca, Nicola; Papa, D.; Vittorini, V.
Artificial Intelligence in Railway Transport: Taxonomy, Regulations and Applications 1-gen-2021 Besinovic, N.; De Donato, L.; Flammini, F.; Goverde, R. M. P.; Lin, Z.; Liu, R.; Marrone, S.; Nardone, R.; Tang, T.; Vittorini, V.