Department of Applied Mathematics;
Formal Methods Group Faculty of Electrical Engineering, Mathematics and Computer Science, University of Twente, The Netherlands;
机译:用于Java实时系统时序分析的符号执行和定时自动机模型检查
机译:概率定时自动机的符号模型检查
机译:可执行文件的抽象符号自动机混合句法/语义相似性分析
机译:定时自动机的符号量化鲁棒性分析
机译:使用混合自动机对生物蛋白信号网络进行建模和符号分析。
机译:儿童在非符号和符号数值幅度之间的映射及其与数学成绩的定时和非定时测试的关联
机译:一种鲁棒时间自动机分析的符号算法
机译:时间自动机无界完全符号模型检验的布尔方法