作者:徐雨波; 晏荣杰模型检测工具实时系统数据结构有限精度时间自动机
摘要:基于有限精度时间自动机模型,实现了一种新的数据结构——SDS,用SDS符号化表示状态空间的实时系统模型检测工具,并进行了初步的实验分析,取得了良好的效果。
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社
《计算机应用研究》(CN:51-1196/TP)是一本有较高学术价值的大型月刊,自创刊以来,选题新奇而不失报道广度,服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《计算机应用研究》杂志以其新颖性、学术性、系统性、技术性于一身,瞄准国家迫切需要的前沿技术,及时反映并涵盖了国内外计算机学科领域最新发展趋势及技术动向,注重刊登反映本学科领域的新理论、新方法、新技术,选题新颖,可读性强而备受广大读者所喜爱,在各行各业拥有大量的读者、作者,在计算机业界享有崇高的知名度和影响力。
部级期刊
人气 230991 评论 65
人气 216807 评论 35
省级期刊
人气 214085 评论 71
北大期刊、统计源期刊
人气 193683 评论 73