实时逻辑相关硕士博士期刊学术论文 - 搜论网

实时逻辑相关论文

面向实时系统的实时区域时态逻辑：RRTL

实时系统作为一种在现实中广泛使用的反应型系统，因其大多使用于安全攸关的领域，所以必须保证它的安全可靠。为了它到这个目的，必须使......

学位

形式化方法时序逻辑实时逻辑区域公理系统合理性演绎式验证

单率异步数据流语言的RTL文法设计

数据流语言是面向虚拟仪器的可视化编程环境的核心.为了使这些基于数据流的编程环境能够应用到实时系统设计中,必须引入一种严格定......

期刊

虚拟仪器数据流语言可视化编程实时系统实时逻辑

看过本文同时还关注