Author:
Grüttner Kim,Görgen Ralph,Schreiner Sören,Herrera Fernando,Peñil Pablo,Medina Julio,Villar Eugenio,Palermo Gianluca,Fornaciari William,Brandolese Carlo,Gadioli Davide,Vitali Emanuele,Zoni Davide,Bocchio Sara,Ceva Luca,Azzoni Paolo,Poncino Massimo,Vinco Sara,Macii Enrico,Cusenza Salvatore,Favaro John,Valencia Raúl,Sander Ingo,Rosvall Kathrin,Khalilzad Nima,Quaglia Davide
Subject
Artificial Intelligence,Computer Networks and Communications,Hardware and Architecture,Software
Reference50 articles.
1. OFFIS, CONTREX FP7 project website, 2015, [Online]. Available: https://contrex.offis.de/home/.
2. CONTREX: design of embedded mixed-criticality control systems under consideration of extra-functional properties;Görgen,2016
3. UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems;Object Management Group (OMG),2011
4. Power contracts: a formal way towards power–closure?!;Nitsche,2013
5. Towards satisfaction checking of Power Contracts in Uppaal;Nitsche,2014
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献