IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 6 di 6
Titolo Tipologia Data di pubblicazione Autore(i) File
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
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
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
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
Mostrati risultati da 1 a 6 di 6
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