Sfoglia per Relatore
Mostrati risultati da 1 a 6 di 6
A solution of POPLMark challenge with VCPT
2009/2010 DICIOLLA, MARCO
Integrating formal methods with industrial standards in the development of flexible manufacturing systems
FERRUCCI, LUCA
Metodi formali e strumenti per la verifica di sistemi critici
2011/2012 SPICUGLIA, SEBASTIANO
Safer-HRC: a methodology for safety assessment through formal verification in human-robot collaboration
ASKARPOUR, MEHRNOOSH
Temporal logic and model checking for operator precedence languages: theory and applications
2021/2022 CHIARI, MICHELE
Temporal Logic and Model Checking for Operator Precedence Words
2017/2018 CHIARI, MICHELE
Fulltext | Data | Tipo | Titolo | Autore (i) |
---|---|---|---|---|
2010-07-21 | Tesi di laurea Magistrale | A solution of POPLMark challenge with VCPT | DICIOLLA, MARCO | |
2014-02-10 | Tesi di Dottorato | Integrating formal methods with industrial standards in the development of flexible manufacturing systems | FERRUCCI, LUCA | |
2012-12-20 | Tesi di laurea Magistrale | Metodi formali e strumenti per la verifica di sistemi critici | SPICUGLIA, SEBASTIANO | |
2018-01-19 | Tesi di Dottorato | Safer-HRC: a methodology for safety assessment through formal verification in human-robot collaboration | ASKARPOUR, MEHRNOOSH | |
2021-12-23 | Tesi di Dottorato | Temporal logic and model checking for operator precedence languages: theory and applications | CHIARI, MICHELE | |
2018-10-03 | Tesi di laurea Magistrale | Temporal Logic and Model Checking for Operator Precedence Words | CHIARI, MICHELE |
Mostrati risultati da 1 a 6 di 6
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