Author:
Stachtiari Emmanouela,Mavridou Anastasia,Katsaros Panagiotis,Bliudze Simon,Sifakis Joseph
Subject
Hardware and Architecture,Information Systems,Software
Reference79 articles.
1. Rigorous implementation of real-time systems - from theory to application;Abdellatif;Math. Struct. Comput. Sci.,2013
2. CESAR - Cost-efficient Methods and Processes for Safety-relevant Embedded Systems,2013
3. A structured approach for eliciting, modeling, and using quality-related domain knowledge;Alebrahim,2014
4. A formal basis for architectural connection;Allen;ACM Trans. Softw. Eng. Methodol.,1997
5. A general framework for architecture composability;Attie;Formal Aspects Comput.,2016
Cited by
26 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献