Sfoglia per Autore
Mostrati risultati da 1 a 4 di 4
Abstract diagnosis for timed concurrent constraint programs
2011-01-01 Comini, Marco; Titolo, Laura; Villanueva, Alicia
Towards an Effective Decision Procedure for LTL formulas with Constraints
2013-01-01 Comini, Marco; Titolo, Laura; Villanueva, Alicia
Abstract diagnosis for TCCP using a linear temporal logic
2014-01-01 Comini, Marco; Titolo, Laura; Villanueva, Alicia
An Abstract Interpretation Framework for Diagnosis and Verification of Timed Concurrent Constraint Languages
2014-05-12 Titolo, Laura
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Abstract diagnosis for timed concurrent constraint programs | 1-gen-2011 | Comini, Marco; Titolo, Laura; Villanueva, Alicia | |
Towards an Effective Decision Procedure for LTL formulas with Constraints | 1-gen-2013 | Comini, Marco; Titolo, Laura; Villanueva, Alicia | |
Abstract diagnosis for TCCP using a linear temporal logic | 1-gen-2014 | Comini, Marco; Titolo, Laura; Villanueva, Alicia | |
An Abstract Interpretation Framework for Diagnosis and Verification of Timed Concurrent Constraint Languages | 12-mag-2014 | Titolo, Laura |
Mostrati risultati da 1 a 4 di 4
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile