[Lecture Notes in Networks and Systems] Advances in Engineering Research and Application Volume 63 (Proceedings of the International Conference, ICERA 2018) || A New Modeling of Photovoltaic Power Generation
- 作者Fujita, Hamido; Nguyen, Duy Cuong; Vu, Ngoc Pi; Banh, Tien Long; Puta, Hermann Horst
- 文件大小511.33KB
- 发表时间2019
- DOI10.1007/978-3-030-04792-4_10
- 页码63-69
[IEEE 31st IEEE Software Engineering Workshop (SEW 2007) - Columbia, MD, USA (2007.03.6-2007.02.8)] 31st IEEE Software Engineering Workshop (SEW 2007) - LTL Guided Planning: Revisiting Automatic Tool Composition in ETIMargaria, Tiziana; Margaria, Tiziana; Margaria, Tiziana; Margaria, Tiziana; Steffen, Bernhard; Steffen, Bernhard; Steffen, Bernhard; Steffen, Bernhard · 2007
Special Section on “Leveraging Formal Methods”Tiziana Margaria; Bernhard Steffen · 2006
Guest Editor’s introductionMike Hinchey; Tiziana Margaria; Bernhard Steffen · 2009
Dynamic testing via automata learningHarald Raffelt; Maik Merten; Bernhard Steffen; Tiziana Margaria · 2009
EditorialW. Rance Cleaveland; Tiziana Margaria; Bernhard Steffen · 1997
PrefaceTiziana Margaria; Bernhard Steffen · 2008
A pragmatic approach to software synthesisFreitag, Burkhard; Margaria, Tiziana; Steffen, Bernhard · ACM SIGPLAN Notices · 1994
Simplicity as a Driver for Agile InnovationMargaria, Tiziana; Steffen, Bernhard · 2010