Author:
Altisen K.,Gössler G.,Sifakis J.
Publisher
Springer Science and Business Media LLC
Subject
Electrical and Electronic Engineering,Control and Optimization,Computer Networks and Communications,Computer Science Applications,Modelling and Simulation,Control and Systems Engineering
Cited by
62 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Scheduling in Real-Time Mobile Systems;ACM Transactions on Embedded Computing Systems;2022-05-28
2. Analyzing Isolation in Mobile Systems;Information Technology and Control;2021-12-16
3. Precedence-Aware Automated Competitive Analysis of Real-Time Scheduling;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2020-11
4. Requirement specification and model-checking of a real-time scheduler implementation;Proceedings of the 28th International Conference on Real-Time Networks and Systems;2020-06-09
5. Modeling and Analyzing Incremental Natures of Developing Software;ACM Transactions on Management Information Systems;2019-06-30