摘要
Y98-61433-1 9908492实时系统的模型检验(含3篇文章)=Session 1:modelchecking[会,英]//1997 IEEE Real-Time Systems Sym-posium.—1~34(HG)本部分3篇论文的题目是音频/视频规约的形式模拟和分析——UPPAAL 工具箱对于工业应用情况研究。实时系统有效验证的紧致数据结构和状态空间简化,以及实时系统的高速式符号模型检验。
出处
《电子科技文摘》
1999年第6期148-150,共3页
Sci.& Tech.Abstract