Sara Vinco, Alessandro Sassone, Franco Fummi, Enrico Macii, Massimo Poncino. An open-source framework for formal specification and simulation of electrical energy systems. In Yuan Xie 0001, Tanay Karnik, Muhammad M. Khellah, Renu Mehra, editors, International Symposium on Low Power Electronics and Design, ISLPED'14, La Jolla, CA, USA - August 11 - 13, 2014. pages 287-290, ACM, 2014. [doi]
Abstract is missing.