TY - CONF AU - Driouich, Y. AU - Parente, M. AU - Tronci, E. PY - 2018 DA - 2018// TI - Model Checking Cyber-Physical Energy Systems BT - Proceedings of 2017 International Renewable and Sustainable Energy Conference, IRSEC 2017 PB - Institute of Electrical and Electronics Engineers Inc. L1 - http://mclab.di.uniroma1.it/publications/papers/driouich/2018/177_Driouich_etal2018.pdf UR - https://doi.org/10.1109/IRSEC.2017.8477334 DO - 10.1109/IRSEC.2017.8477334 N1 - exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=177), last updated on Thu, 22 Nov 2018 15:20:30 +0100 ID - Driouich_etal2018 ER -