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
Hits:
Pre One: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
Next One:汪超, 陈香兰, 章博, 李曦,王超, 周学海. 一种具有时间语义的实时处理器模型[J]. 计算机研究与发展, 2021, 58(6):16.
|
|