Concurrent Finite-State; Validation; Model-Checking;
机译:dev-proMela:通过组合模型检查和仿真来建模,验证和验证视频游戏
机译:通过分裂内部状态将中等有限状态机转换为摩尔有限状态机
机译:定时逻辑抽象状态机的谓词逻辑模型检验
机译:并发有限状态机的视觉跟踪仿真,用于复杂行为的验证和模型检查
机译:通信有限状态机的系统,作为有限状态机的分布式替代方案。
机译:使用有限状态机建模自动分类系统疾病和从电子医疗系统数据的持续时间:前瞻性验证研究
机译:并发有限状态机的视觉跟踪仿真,用于复杂行为的验证和模型检查
机译:有限状态并发系统的自动验证研究