Author:
Nobakht Behrooz,de Boer Frank S.,Jaghoori Mohammad Mahdi,Schlatte Rudolf
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Compositional schedulability analysis of real-time actor-based systems;Acta Informatica;2016-01-25
2. High Performance Computing Applications Using Parallel Data Processing Units;Fundamentals of Software Engineering;2015
3. Formal Verification of Service Level Agreements Through Distributed Monitoring;Service Oriented and Cloud Computing;2015
4. Declarative scheduling for active objects;Proceedings of the 29th Annual ACM Symposium on Applied Computing;2014-03-24
5. Programming with Actors in Java 8;Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications;2014