Author:
Bozga Marius,Graf Susanne,Mounier Laurent
Publisher
Springer Berlin Heidelberg
Cited by
45 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Scaling Up Livelock Verification for Network-on-Chip Routing Algorithms;Lecture Notes in Computer Science;2022
2. From Formal Test Objectives to TTCN-3 for Verifying ETCS Complex Software Control Systems;Communications in Computer and Information Science;2020
3. Specifying Timed Patterns using Temporal Logic;Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week);2018-04-11
4. From SDL Modeling to WSN Simulation for IoT Solutions;Communications in Computer and Information Science;2018
5. Predicate Abstraction and Such...;Formal Methods for Industrial Critical Systems;2018