Biblioteche e Archivi
POLITesi - Archivio digitale delle tesi di laurea e di dottorato

Sfoglia per Correlatore BIANCULLI, DOMENICO

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mostrati risultati da 1 a 4 di 4
Fulltext Data Tipo Titolo Autore (i)
2013-10-03 Tesi di laurea Magistrale Incremental reachability checking of KernelC programs using matching logic RIZZI, ALESSANDRO MARIA
2020-12-15 Tesi di laurea Magistrale SMT-based trace checking of CPS properties VIGANÒ, ENRICO
2016-02-05 Tesi di Dottorato Trace checking of quantitative properties KRSTIC, SRDAN
2012-12-20 Tesi di laurea Magistrale Verification of quantitative properties of service based applications KRSTIC, SRDAN
Mostrati risultati da 1 a 4 di 4
Legenda icone accesso al fulltext

  • File accessibili da tutti
  • File accessibili dagli utenti autorizzati
  • File accessibili da tutti o solo dagli utenti autorizzati, a partire dalla la data indicata nella scheda
  • File non accessibili