Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Electrical and Electronic Engineering
Cited by
335 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Code generation for Security and Stability Control System based on extended reactive component;Journal of Systems Architecture;2024-03
2. High-performance Deterministic Concurrency Using
Lingua Franca;ACM Transactions on Architecture and Code Optimization;2023-10-26
3. Deterministic Coordination Across Multiple Timelines;ACM Transactions on Embedded Computing Systems;2023-10-16
4. An Analysis on Formal Models of Computation for the Avionics Systems Domain;2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC);2023-10-01
5. Risk and Mitigation of Nondeterminism in Distributed Cyber-Physical Systems;Proceedings of the 21st ACM-IEEE International Conference on Formal Methods and Models for System Design;2023-09-21