Author:
Håkansson John,Carlson Jan,Monot Aurelien,Pettersson Paul,Slutej Davor
Publisher
Springer Berlin Heidelberg
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Pruning Architectural Models of Automotive Embedded Systems via Dependency Analysis;2016 42th Euromicro Conference on Software Engineering and Advanced Applications (SEAA);2016-08
2. A tool suite for the model-driven software engineering of cyber-physical systems;Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering;2014-11-11
3. A Model-Based Testing Framework for Automotive Embedded Systems;2014 40th EUROMICRO Conference on Software Engineering and Advanced Applications;2014-08
4. Automata-based refinement checking for real-time systems;Computer Science - Research and Development;2014-06-14
5. Cross-Layer Based Resource Management Frameworks for Mobile Cognitive Radio Networks;Resource Management in Mobile Computing Environments;2014