Author:
Kersten Rody,Toldin Paolo Parisen,van Gastel Bernard,van Eekelen Marko
Publisher
Springer International Publishing
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Skylines for Symbolic Energy Consumption Analysis;Formal Methods for Industrial Critical Systems;2020
2. The Sky is the Limit;Proceedings of the 29th Symposium on the Implementation and Application of Functional Programming Languages;2017-08-30
3. Towards Practical, Precise and Parametric Energy Analysis of IT Controlled Systems;Electronic Proceedings in Theoretical Computer Science;2017-04-18
4. Analysing energy consumption of systems controlled by software;Companion to the first International Conference on the Art, Science and Engineering of Programming;2017-04-03
5. Resource Contracts for Java;ACM SIGSOFT Software Engineering Notes;2017-01-05