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

限定检索结果

文献类型

  • 1 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 1 篇 理学
    • 1 篇 数学
    • 1 篇 系统科学
  • 1 篇 工学
    • 1 篇 计算机科学与技术...
    • 1 篇 软件工程

主题

  • 1 篇 semantics

机构

  • 1 篇 dept. of mathema...
  • 1 篇 dept. for machin...
  • 1 篇 dept. of mechani...

作者

  • 1 篇 reniers m.a.
  • 1 篇 groote j.f.
  • 1 篇 weber s.
  • 1 篇 stappers f.p.m.

语言

  • 1 篇 英文
检索条件"机构=Dept. for Machine Control and Infrastructure"
共 1 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
Dogfooding the formal semantics of mCRL2
Dogfooding the formal semantics of mCRL2
收藏
分享
引用
2012 IEEE 35th Software Engineering Workshop, SEW 2012
作者： Stappers, F.P.M. Reniers, M.A. Weber, S. Groote, J.F. Dept. of Mathematics and Computer Science Eindhoven University of Technology P.O. Box 513 NL-5600 MB Eindhoven Netherlands Dept. of Mechanical Engineering Eindhoven University of Technology P.O. Box 513 NL-5600 MB Eindhoven Netherlands Dept. for Machine Control and Infrastructure ASML P.O. Box 324 NL-5500 AH Veldhoven Netherlands
The mCRL2 language is a formal specification language that is used to specify, model, analyze and verify behavioral properties for distributed systems and protocols. The semantics of the mCRL2 language is defined form... 详细信息
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件