您的位置： 专家智库 > >

邓志洪

作品数：2 被引量：6H指数：1
供职机构：中山大学更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇学位论文

领域

  • 2篇自动化与计算...

主题

  • 1篇电话系统
  • 1篇形式化
  • 1篇形式化规范
  • 1篇有限状态自动...
  • 1篇状态自动机
  • 1篇自动机
  • 1篇LOTOS

机构

  • 2篇中山大学

作者

  • 2篇邓志洪
  • 1篇张治国

传媒

  • 1篇五邑大学学报...

年份

  • 1篇2002
  • 1篇2001
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
有限状态程序模型及其应用被引量：6
2001年
工程实际中的大部分应用程序都可以用有限状态机来描述. 论文首先提出了一个一般性的有限状态程序模型,即有限状态自动机. 并讨论了基于有限状态模型的程序框架生成和该模型的一些性质. 对于工业中的大多数专用应用程序和嵌入式系统,该模型给出了简洁、直观、统一的规范描述及其开发与维护方法.
邓志洪张治国
关键词：有限状态自动机
基于约束的LOTOS形式化规范描述及其在电话系统中的应用
该文提出了运用基于约束类型的LOTOS（LanguageOfTemporalOrderingSpecifications）形式化规范描述方法,来产生简单、抽象、结构良好的简单电话系统的形式化规范描述.这种规范描述不只是对...
邓志洪
关键词：形式化规范LOTOS电话系统
文献传递
全选 清除 导出
共1页<1>
聚类工具0