| Home | << 1 >> |
|
| Author | Title | Year | Publication | Publisher | ISSN | ISBN | DOI  |
Volume | Pages |
|---|---|---|---|---|---|---|---|---|---|
| Driouich, Y.; Parente, M.; Tronci, E. | Model Checking Cyber-Physical Energy Systems | 2018 | Proceedings of 2017 International Renewable and Sustainable Energy Conference, IRSEC 2017 | Institute of Electrical and Electronics Engineers Inc. | 10.1109/IRSEC.2017.8477334 |