Sfoglia per Correlatore PRADELLA, MATTEO
Mostrati risultati da 1 a 4 di 4
A language-level approach to self-adaptive software
SALVANESCHI, GUIDO
Metodi formali e strumenti per la verifica di sistemi critici
2011/2012 SPICUGLIA, SEBASTIANO
A structured framework for requirement specification and validation supporting flight control systems design
2025/2026 MELANI, BEATRICE
Temporal Logic and Model Checking for Operator Precedence Words
2017/2018 CHIARI, MICHELE
| Fulltext | Data | Tipo | Titolo | Autore (i) |
|---|---|---|---|---|
| 2012-02-08 | Tesi di Dottorato | A language-level approach to self-adaptive software | SALVANESCHI, GUIDO | |
| 2012-12-20 | Tesi di laurea Magistrale | Metodi formali e strumenti per la verifica di sistemi critici | SPICUGLIA, SEBASTIANO | |
| 2026-06-04 | Tesi di Dottorato | A structured framework for requirement specification and validation supporting flight control systems design | MELANI, BEATRICE | |
| 2018-10-03 | Tesi di laurea Magistrale | Temporal Logic and Model Checking for Operator Precedence Words | CHIARI, MICHELE |
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