automata theory; formal specification; formal verification; real-time systems; temporal logic; PARCTL parametric temporal logic; mutual exclusion protocol; parametric model checking approach; real-time systems design; timed transition systems; verification-driven;
机译:通过Java和具有参数模型检查功能的设计方法对具有实时约束的单总线系统进行建模
机译:使用参数模型检查使用Java和设计方法使用实时约束来建模单总线系统
机译:实时PCR机系统建模和系统可靠的实时芯片上PCR系统的系统方法
机译:实时系统设计的参数模型检查方法
机译:列出了用于模型检查实时系统和无限状态系统的分辨率和约束。
机译:实时PCR机系统建模和系统可靠的实时芯片上PCR系统的系统方法
机译:从离线到实时:用于医疗设备即插即用(MDPnP)的混合系统模型检查和CPS协同设计方法