李曦  

电子邮箱:

   
当前位置: 中文主页 >> 科学研究 >> 论文成果

Bo Wan, Xi Li, Bo Zhang, Caixu Zhao, Xianglan Chen, Chao Wang, and Xuehai Zhou, DCW: A Reactive and Predictable Programming Framework for LET-based Distributed Real-time Systems,ACM TRANS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS,卷: 24期: 3,2019,SCI

点击次数:

是否译文:

上一条: Chen Bo, Li Xi, Zhou Xuehai. Model Checking of MARTE/CCSL Time Behaviors Using Timed I/O Automata[J]. Journal of Systems Architecture, v88,p120-125,2018,SCI

下一条: 汪超, 陈香兰, 章博, 李曦,王超, 周学海. 一种具有时间语义的实时处理器模型[J]. 计算机研究与发展, 2021, 58(6):16.