定时自动机相关硕士博士期刊学术论文 - 搜论网

定时自动机相关论文

时间自动机的事务级形式验证

提出了一种形式方法用于验证TLM-2.0的设计方案.该方法中TLM-2.0设计方案将被转换成定时自动机形式模型.定义若干种属性,验证将根......

期刊

形式验证定时自动机事务级模型 UPPAAL formal verification timed automata transaction level mod

时间自动机的事务级形式验证

提出了一种形式方法用于验证TLM-2.0的设计方案.该方法中TLM-2.0设计方案将被转换成定时自动机形式模型.定义若干种属性,验证将根......

期刊

形式验证定时自动机事务级模型 UPPAAL formal verification timed automata transaction level m

基于DSL的家庭护理计划管理方法及工具设计与实现

家庭护理是指由医护人员在患者的家中提供卫生保健或支持性护理近些年来，家庭护理正在广泛地开展起来，尤其是在人口老龄化严重的西方......

学位

领域特定语言定时自动机家庭护理计划 Vaadin的框架

看过本文同时还关注