DRIOUICH, YOUSSEF
DRIOUICH, YOUSSEF
Dipartimento di Scienze Aziendali - Management & Innovation Systems/DISA-MIS
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.006 secondi).
A methodology for a complete simulation of Cyber-Physical Energy Systems
2018 Driouich, Youssef; Parente, Domenico; Tronci, Enrico
Model Checking Cyber-Physical Energy Systems
2017 Driouich, Youssef; Parente, Domenico; Tronci, Enrico
Model Checking Cyber-Physical Systems
2019 Driouich, Youssef
Modeling cyber-physical systems for automatic verification
2017 Driouich, Youssef; Parente, Domenico; Tronci, Enrico
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A methodology for a complete simulation of Cyber-Physical Energy Systems | 1-gen-2018 | Driouich, Youssef; Parente, Domenico; Tronci, Enrico | |
| Model Checking Cyber-Physical Energy Systems | 1-gen-2017 | Driouich, Youssef; Parente, Domenico; Tronci, Enrico | |
| Model Checking Cyber-Physical Systems | 12-mar-2019 | Driouich, Youssef | |
| Modeling cyber-physical systems for automatic verification | 1-gen-2017 | Driouich, Youssef; Parente, Domenico; Tronci, Enrico |