MDE; RTS; Task; Time Constraint; Formal Specification; Verification; Time Property Patterns; Time Petri Net Observer-Based Model Checking;
机译:实时系统:正式规范和自动验证
机译:使用图文法对实时系统进行形式化规范和验证
机译:使用图文法的实时系统的正式规范和验证
机译:实时系统任务时间约束的正式规范和验证
机译:根据实时反应系统的正式规范自动生成测试。
机译:嵌入式实时系统的运行时验证
机译:1实时系统任务时间约束的形式规范和验证⋆
机译:实时顺序控制系统的形式化规范与验证