B函数

作品数：24被引量：15H指数：2
导出分析报告
相关领域：理学自动化与计算机技术更多>>
相关作者：王强马生全赵纬经王贵君张励更多>>
相关机构：海南师范大学天津师范大学复旦大学天津科技大学更多>>
相关期刊：《大学数学》《黑龙江八一农垦大学学报》《西昌学院学报（自然科学版）》《求知导刊》更多>>
相关基金：海南省自然科学基金国家高技术研究发展计划江西省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=微电子学与计算机x
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于形式语言B的一种新的时态规约方案被引量：1
《微电子学与计算机》2006年第2期16-19,共4页肖健宇 张德运 陈海诠 董皓 
国家863计划项目(8633010503)
提出一套利用B方法中经典AMN记号表达时态规约的函数结构方案以支持实时软件系统的规约和验证。该方案中,时间类型表示为B方法中系统内部支持的非负整数集合,所有依赖于时间的变量都表示成定义域为时间的全函数。该方案可以方便地表达...
关键词：时态规约 形式化方法 实时系统 B方法 B函数 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部