Author:
Li Wenchao,Gerard Leonard,Shankar Natarajan
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Numerical Investigation of Thermofluid Performance of a Regenerator Relative to the Matrix Geometry;International Journal of Heat and Technology;2020-03-31
2. A timeless model for the verification of quasi-periodic distributed systems;Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design;2019-10-09
3. Compositional Assume-Guarantee Reasoning of Control Law Diagrams Using UTP;From Astrophysics to Unconventional Computation;2019-04-17
4. Formal verification of weakly-hard systems;Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control;2019-04-16
5. Exploring weakly-hard paradigm for networked systems;Proceedings of the Workshop on Design Automation for CPS and IoT - DESTION '19;2019