Author:
Cofer Darren,Engstrom Eric,Goldman Robert,Musliner David,Vestal Steve
Publisher
Springer Berlin Heidelberg
Reference11 articles.
1. P. Binns. Scheduling Slack in MetaH. Real-Time Systems Symposium, December 1996.
2. P. Binns. Incremental Rate Monotonic Scheduling for Improved Control System Performance. Real-Time Applications Symposium, 1997.
3. P. Binns. Design Document for Slack Scheduling in DEOS. Honeywell Technology Center Technical Report SST-R98-009, September 1998.
4. T. Henzinger, P. Ho, H. Wong-Toi. A User Guide to HyTech. University of California at Berkeley,
http://www.eecs.berkeley.edu/~tah/HyTech
.
5. G. Holzmann. The SPIN Model Checker. IEEE Transactions on Software Engineering, vol. 23, no. 5, May 1997, pp. 279–295.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. An Autonomous Intrusion Detection System for Ethernet-Based Avionics Communication Bus;2021 International Conference on Engineering and Emerging Technologies (ICEET);2021-10-27
2. PHAVer: algorithmic verification of hybrid systems past HyTech;International Journal on Software Tools for Technology Transfer;2008-01-08
3. Physical Agents;Issues in Multi-Agent Systems;2007
4. PHAVer: Algorithmic Verification of Hybrid Systems Past HyTech;Hybrid Systems: Computation and Control;2005