Sfoglia per Autore
Mostrati risultati da 1 a 3 di 3
Model Checking Cyber-Physical Energy Systems
2017-01-01 Driouich, Youssef; Parente, Domenico; Tronci, Enrico
Modeling cyber-physical systems for automatic verification
2017-01-01 Driouich, Youssef; Parente, Domenico; Tronci, Enrico
A methodology for a complete simulation of Cyber-Physical Energy Systems
2018-01-01 Driouich, Youssef; Parente, Domenico; Tronci, Enrico
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Model Checking Cyber-Physical Energy Systems | 1-gen-2017 | Driouich, Youssef; Parente, Domenico; Tronci, Enrico | |
Modeling cyber-physical systems for automatic verification | 1-gen-2017 | Driouich, Youssef; Parente, Domenico; Tronci, Enrico | |
A methodology for a complete simulation of Cyber-Physical Energy Systems | 1-gen-2018 | Driouich, Youssef; Parente, Domenico; Tronci, Enrico |
Mostrati risultati da 1 a 3 di 3
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