| Home | << 1 >> |
|
| Record | |||||
|---|---|---|---|---|---|
| Author | Driouich, Y.; Parente, M.; Tronci, E. | ||||
| Title | Model Checking Cyber-Physical Energy Systems | Type | Conference Article | ||
Year  |
2018 | Publication | Proceedings of 2017 International Renewable and Sustainable Energy Conference, IRSEC 2017 | Abbreviated Journal | |
| Volume | Issue | Pages | |||
| Keywords | |||||
| Abstract | |||||
| Address | |||||
| Corporate Author | Thesis | ||||
| Publisher | Institute of Electrical and Electronics Engineers Inc. | Place of Publication | Editor | ||
| Language | Summary Language | Original Title | |||
| Series Editor | Series Title | Abbreviated Series Title | |||
| Series Volume | Series Issue | Edition | |||
| ISSN | ISBN | Medium | |||
| Area | Expedition | Conference | |||
| Notes | Approved | no | |||
| Call Number | MCLab @ davi @ Driouich2018 | Serial | 177 | ||
| Permanent link to this record | |||||