您的位置： 专家智库 > >

周彬

作品数：1 被引量：2H指数：1
供职机构：扬州大学信息工程学院更多>>
发文基金：江苏省自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇形式化
  • 1篇形式化方法
  • 1篇免疫
  • 1篇免疫系统
  • 1篇B方法

机构

  • 1篇扬州大学

作者

  • 1篇邹盛荣
  • 1篇唐宇
  • 1篇阳雪平
  • 1篇周彬
  • 1篇吴铭
  • 1篇滕腾

传媒

  • 1篇现代电子技术

年份

  • 1篇2007
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于B方法验证技术的应用研究被引量：2
2007年
形式化B方法建立在严格的数学基础上,通过严格的验证技术证明其正确性,尤其对大型复杂系统的描述是非常有用和正确的。用形式化B方法描述了免疫系统的两个因子网络模型,然后通过严格和精确的验证技术:类型检查和证明义务的给出,证明了抽象机的正确性。
邹盛荣滕腾阳雪平唐宇吴铭周彬
关键词：B方法形式化方法免疫系统
全选 清除 导出
共1页<1>
聚类工具0