...
机译:基于定时自动机的EPC网络入侵系统建模与验证
EPC network security; Timed automata; Intrusion modeling and detection;
机译:基于定时自动机的EPC网络入侵系统建模与验证
机译:利用基于定时自动机的模糊控制器设计自适应入侵检测系统
机译:利用基于定时自动机的模糊控制器设计自适应入侵检测系统
机译:基于有限状态自动机和状态空间的EPC验证
机译:虚拟网络物理系统测试平台,用于网络入侵检测和预防系统验证
机译:随机自动机网络在间隙连接通道电压门控连续时间马尔可夫链模型创建中的应用
机译:对定时自动机验证的贡献(自动机网络中的确定,定量验证和可达性)
机译:验证模拟为定时自动机的混合系统:案例研究。