Author:
David Alexandre,Illum Jacob,Larsen Kim,Skou Arne
Cited by
38 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formal Modeling of Frame Selection in Asynchronous TSN Communications;Chinese Journal of Electronics;2024-03
2. Towards Model Checking Linux Interrupts Behavior for SMP Systems;2023 Ivannikov Ispras Open Conference (ISPRAS);2023-12-04
3. A Verification Tool for Real-Time Task Schedulability Analysis;South African Institute of Computer Scientists and Information Technologists;2023
4. Randomized reachability analysis in UPPAAL: fast error detection in timed systems;International Journal on Software Tools for Technology Transfer;2022-11-17
5. Model checking message delivery times in SpaceWire networks;Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings;2022-10-23