扩展有限状态自动机相关论文
在网络应用越来越广泛地同时，网络安全也显得越来越重要。为了增强网络的安全性，人们采用了各种网络安全的技术，入侵检测是近些年来人......
学位
语法和语义层次的组合并不足以保证仿真组件组合的完整性、有效性和实用性,在语用组合问题分析的基础上,提出了基于扩展有限状态自......
状态测试的首要问题就是从大量的状态组合中挑选针对典型的错误能够最为有效和最为优化的测试序列。A．V．Aho等人提出了使用中国邮路......
针对语法和语义层次组合存在对仿真环境的匹配及组合结果实用性不强的问题,在语用组合与仿真语境研究的基础上,给出仿真语境空间形......
该文针对模型检测过程中所存在的状态爆炸问题,提出了一种基于模型检测工具SPIN的模块化模型检测方法。所提出的方法能够将指定的......
