Author:
Nxumalo Madoda,Timm Nils,Gruner Stefan
Publisher
Springer International Publishing
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. An evaluation of approaches to model checking real-time task schedulability analysis;International Journal on Software Tools for Technology Transfer;2023-01-19
2. A Verification Tool for Real-Time Task Schedulability Analysis;South African Institute of Computer Scientists and Information Technologists;2023