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

Sfoglia per Relatore  

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)
2021-04-28 Tesi di laurea Magistrale Automated regression testing on website implementation in agile development environment challenges and approaches BAIREDDY VENKATARAMANA, SUBHALAXMI
2024-04-09 Tesi di laurea Magistrale Formal verification of parametric timed automata with TABEC Manini, Andrea
2020-10-02 Tesi di laurea Magistrale Improved verification of networks of timed automata SMITH, ROBERT LAWRENCE
2020-10-02 Tesi di laurea Magistrale Model checking through inductive partitioning of the state space FRANZINI, FRANCESCO
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