Author:
Trindade Alessandro,Cordeiro Lucas
Funder
Newton Fund
FAPEAM – Amazonas State Foundation for Research Support
Virtual Machine
FAS – Sustainable Amazonas Foundation
Subject
General Materials Science,Renewable Energy, Sustainability and the Environment
Reference41 articles.
1. Abate, A., 2017. Verification of networks of smart energy systems over the cloud. In: Bogomolov, S., Martel, M., Prabhakar, P. (eds.), Num. Soft. Verif. volume LNCS 10152. p. 1–14. doi:https://doi.org/10.1007/978-3-319-54292-8.
2. A formal specification framework for smart grid components;Akram;Complex Adapt. Syst. Model.,2018
3. Modelling and simulation of renewable energy systems in Algeria;Benatiallah;Int. J. Sci App. Inf. Tech.,2017
4. CPAchecker: A tool for configurable software verification;Beyer,2011
5. Blair. N., Dobos, A., Freeman, J., Neises, T., Wagner, M., 2014. System Advisor Model, SAM 2014.1.14: General Description. Technical Report; National Renewable Energy Laboratory; Colorado.
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献