Author:
Benveniste A.,Le Guernic P.
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Electrical and Electronic Engineering,Computer Science Applications,Control and Systems Engineering
Cited by
121 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. High-performance Deterministic Concurrency Using
Lingua Franca;ACM Transactions on Architecture and Code Optimization;2023-10-26
2. Equation-Directed Axiomatization of Lustre Semantics to Enable Optimized Code Validation;ACM Transactions on Embedded Computing Systems;2023-09-09
3. Logical Time for Reactive Software;Proceedings of Cyber-Physical Systems and Internet of Things Week 2023;2023-05-09
4. Reachability Analysis for Cyber-Physical Systems: Are We There Yet?;Lecture Notes in Computer Science;2022
5. Toward a Lingua Franca for Deterministic Concurrent Systems;ACM Transactions on Embedded Computing Systems;2021-07-31