咨询与建议
  • 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 数据库导航
  • 超星发现
高级检索

限定检索结果

文献类型

  • 2 篇 会议

馆藏范围

  • 2 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 2 篇 工学
    • 2 篇 计算机科学与技术...
    • 1 篇 电气工程

主题

  • 2 篇 event-b method
  • 2 篇 distributed algo...
  • 2 篇 local computatio...
  • 2 篇 formal method

机构

  • 1 篇 univ bordeaux la...
  • 1 篇 univ. bordeaux l...

作者

  • 1 篇 vinvent filou
  • 1 篇 mohamed mosbah
  • 1 篇 filou vinvent
  • 1 篇 mohamed tounsi
  • 1 篇 mosbah mohamed
  • 1 篇 tounsi mohamed

语言

  • 2 篇 英文
检索条件"主题词=Local computation systems"
共 2 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
Towards Proved Distributed Algorithms Through Refinement, Composition and local computations
Towards Proved Distributed Algorithms Through Refinement, Co...
收藏
分享
引用
22nd IEEE International WETICE Conference (WETICE)
作者： Filou, Vinvent Mosbah, Mohamed Tounsi, Mohamed Univ Bordeaux LaBRI CNRS UMR 5800 F-33405 Talence France
The design and the proof of distributed algorithms are difficult tasks due to the lack of knowledge of the global state and the non determinism in the execution of the processes. Formal methods can guarantee that thes... 详细信息
来源： 评论
Towards Proved Distributed Algorithms Through Refinement, Composition and local computations
Towards Proved Distributed Algorithms Through Refinement, Co...
收藏
分享
引用
IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises
作者： Vinvent Filou Mohamed Mosbah Mohamed Tounsi Univ. Bordeaux LaBRI
The design and the proof of distributed algorithms are difficult tasks due to the lack of knowledge of the global state and the non determinism in the execution of the processes. Formal methods can guarantee that thes... 详细信息
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件