计算机系统、计算机网络与网络互连

Y98-61433-1 9908492实时系统的模型检验(含3篇文章)=Session 1:modelchecking[会,英]//1997 IEEE Real-Time Systems Sym-posium.—1～34(HG)本部分3篇论文的题目是音频/视频规约的形式模拟和分析——UPPAAL 工具箱对于工业应用情况研究。实时系统有效验证的紧致数据结构和状态空间简化,以及实时系统的高速式符号模型检验。