基于时序逻辑语言XYZ/E的实时系统应用研究

doi:10.11721/cqnuj20060318

首页 > 按月查看>2006年第3月 >63-66. DOI:10.11721/cqnuj20060318

基于时序逻辑语言XYZ/E的实时系统应用研究
DOI:
                        10.11721/cqnuj20060318
                    
作者:
                        
                        
                    
作者单位:
作者简介:
通讯作者:
基金项目:

Author:

Affiliation:

Fund Project:

摘要

图/表

访问统计

参考文献

相似文献

引证文献

资源附件

摘要:

针对实时系统在计算机系统应用中的重要性，采用形式化方法是保证实时系统软件开发正确性的一种重要途径，而时序逻辑这种形式化方法是研究实时系统的一个重要的理论基础。本文给出了时序逻辑语言XYZ/E的相关介绍，并利用XYZ/E的子语言XYZ/RBE与XYZ图描述了煤气炉实时控制问题。

Abstract:

参考文献

相似文献

引证文献

引用本文

刘珊艳, 张广泉.基于时序逻辑语言XYZ/E的实时系统应用研究[J].重庆师范大学学报自然科学版,2006,(3):63-66

复制

文章指标

点击次数:
下载次数:

历史

收稿日期:
最后修改日期:
录用日期:
在线发布日期:

引用本文

分享

文章指标

历史