Sfoglia per Relatore
Testing rule-driven applications
2010/2011 BONISIOL, ANDREA
Topic modeling : an approach to topic evolution discovery and a software engineering study case
2014/2015 ZOFFOLI, FRANCESCO
Towards a development environment for secure cyberphysical spaces
2014/2015 PASI, EDOARDO
Trace checking of quantitative properties
KRSTIC, SRDAN
Verification of quantitative properties of service based applications
2011/2012 KRSTIC, SRDAN
Fulltext | Data | Tipo | Titolo | Autore (i) |
---|---|---|---|---|
2011-07-20 | Tesi di laurea Magistrale | Testing rule-driven applications | BONISIOL, ANDREA | |
2016-04-27 | Tesi di laurea Magistrale | Topic modeling : an approach to topic evolution discovery and a software engineering study case | ZOFFOLI, FRANCESCO | |
2015-04-29 | Tesi di laurea Magistrale | Towards a development environment for secure cyberphysical spaces | PASI, EDOARDO | |
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 |
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