A new component-based real-time system based on timed high-order(THO) π calculus
Tao You, Chenglie Du, Xiaowei Wang, Wei Zheng
科研成果: 期刊稿件 › 文章 › 同行评审
5
引用
（Scopus）