Author:
Erbes T.,Shukla S.K.,Kachroo P.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Statistical model checking of an energy-saving cyber-physical system in the railway domain;Proceedings of the Symposium on Applied Computing;2017-04-03
2. Model-Based Evaluation of Energy Saving Systems;Green IT Engineering: Concepts, Models, Complex Systems Architectures;2016-09-22
3. Tuning Energy Consumption Strategies in the Railway Domain: A Model-Based Approach;Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications;2016