Sfoglia per Autore
A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems
2015 Nuzzo, Pierluigi; Sangiovanni-Vincentelli, Alberto L.; Bresolin, Davide; Geretti, Luca; Villa, Tiziano
On the complexity of fragments of the modal logic of Allen’s relations over dense structures
2015 Bresolin, Davide; Monica, Dario Della; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido
Most general property-preserving updates
2017 Bresolin, Davide; Lanese, Ivan
Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
---|---|---|---|---|---|---|
A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems | Nuzzo, Pierluigi; Sangiovanni-Vincentelli, Alberto L.; Bresolin, Davide; Geretti, Luca; Villa, Ti...ziano | 2015-01-01 | PROCEEDINGS OF THE IEEE | - | 1.01 Articolo in rivista | - |
On the complexity of fragments of the modal logic of Allen’s relations over dense structures | Bresolin, Davide; Monica, Dario Della; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido | 2015-01-01 | LECTURE NOTES IN COMPUTER SCIENCE | Springer Verlag | 4.01 Contributo in Atti di convegno | - |
Most general property-preserving updates | Bresolin, Davide; Lanese, Ivan | 2017-01-01 | - | Springer Verlag | 4.01 Contributo in Atti di convegno | - |
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