Automata; Timing circuits; Simulation; Digital systems; Methodology; Environments; Decision making; Verification; Asynchronous systems; Specifications; Theses; Safety;
机译:具有定时自动机规格的实时系统的ConfOrmance测试
机译:将OWL-S过程模型映射到定时自动机:一种检查定时时间逻辑的模型检查方法
机译:从实时逻辑到定时自动机
机译:定时I / O自动机的成分保持生命一致性测试
机译:定时安全自动机和逻辑一致性。
机译:使用耦合的DNAzyme级联通过耦合自动机的连续变量逻辑
机译:实时语言,定时交替自动机和定时时态逻辑:关系和规范