Department of Information and Communication Technology, Manipal Institute of Technology, Manipal-576104, India;
Concurrent Buffer System; Model Checking; Real Time Systems; Timed Automata; UPPAAL;
机译:并发理论:用于计算非定时和定时并发系统的计算和自动机
机译:使用Uppaal在截止日期前进行模型检查定时自动机
机译:使用Uppaal在截止日期前进行模型检查定时自动机
机译:使用uppaal中的定时自动机建模两种方式并发缓冲系统
机译:使用LTSA和UPPAAL对渠道系统中的并发行为进行建模,验证和验证。
机译:心律对心房组织结构重塑的认识:定时自动机方法
机译:IUML-B和UPPAAL定时自动机的集成,以便在并发进程的实时系统开发