Author:
Cataldo A.,Lee E.,Xiaojun Liu ,Matsikoudis E.,Haiyang Zheng
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Logical Time for Reactive Software;Proceedings of Cyber-Physical Systems and Internet of Things Week 2023;2023-05-09
2. Toward a Lingua Franca for Deterministic Concurrent Systems;ACM Transactions on Embedded Computing Systems;2021-07-31
3. SMT-based Diagnosability Analysis of Real-Time Systems;IFAC-PapersOnLine;2018
4. If We Could Go Back in Time... On the Use of ‘Unnatural’ Time and Ordering in Dataflow Models;Lecture Notes in Computer Science;2018
5. On Determinism;Lecture Notes in Computer Science;2018