DI LEO, DOMENICO

DI LEO, DOMENICO  

DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE  

Mostra records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.01 secondi).
Titolo Tipologia Data di pubblicazione Autore(i) File
SABRINE: State-based robustness testing of operating systems 4.1 Articoli in Atti di convegno 2013 Cotroneo, Domenico; DI LEO, Domenico; Fucci, Francesco; Natella, Roberto
A Case Study on State-Based Robustness Testing of an Operating System for the Avionic Domain 2.1 Contributo in volume (Capitolo o Saggio) 2011 Cotroneo, Domenico; DI LEO, Domenico; Natella, Roberto; Pietrantuono, Roberto
The PreCertification Kit for Operating Systems in Safety Domains 4.1 Articoli in Atti di convegno 2011 Cotroneo, Domenico; DI LEO, Domenico; N., Silva; R., Barbosa
Adaptive Monitoring in Microkernel OSs 4.1 Articoli in Atti di convegno 2010 Cotroneo, Domenico; DI LEO, Domenico; Natella, Roberto
Requirements Engineering in Rail Transit Production: an Experience Report 4.1 Articoli in Atti di convegno 2013 F., Buonanno; DI LEO, Domenico; P., di Paolo; Pietrantuono, Roberto; Russo, Stefano
Prediction of the Testing Effort for the Safety Certification of Open-Source Software: A Case Study on a Real-Time Operating System 4.1 Articoli in Atti di convegno 2016 Cotroneo, Domenico; DI LEO, Domenico; Natella, Roberto; Pietrantuono, Roberto