时间化自动机相关论文
该文在已有研究基础上提出了一种新方法用于嵌入式实时系统的严格建模.该文通过构造面向对象语言UML与形式化方法PVS之间的转换桥......
严格建模是嵌入式实时系统设计的核心技术,通过UML方法与形式化方法结合可以给严格建模提供很好的工具支持。时间化自动机(TimedAu......