• ASML

  • 42篇参考文献[SW11363]
  • AsmL:摘要状态机器语言ASML是一种工业强度的可执行规范语言。文字规范。AsmL是摘要状态机器语言FSE组开发ASML…语言的理论基础摘要状态机器是Yuri Gurevich发明的。电流…
  • 比查姆

  • 40篇参考文献[ SW099 27 ]
  • 生物化学摘要 机器(BiCHAM)是系统生物学的建模环境,具有一些独特的特征。
  • 轻巧的

  • 22篇参考文献[ SW0867 9]
  • 方便实现:当前与功能摘要 机器(C-FAM)。C-FAM执行并发…的指令和执行规则摘要 机器. 这种语义描述水平是合适的。
  • 伊甸园

  • 29篇参考文献[SW22186]
  • 梦的操作规范,分布式摘要 机器为了伊甸。在本文中…伊甸译成珍珠(平行伊甸园)摘要简化语言,并行函数语言…
  • 泰约斯

  • 16篇参考文献[SW21364 ]
  • 系统描述:TyyJuth-A编译器和摘要 机器基于LabProlog的实现。逻辑…在描述一个摘要 机器基于编译器的实现方案。一个实际的…
  • VIATRA2

  • 33篇参考文献[SW03511]
  • 图变换与模型相结合的模型摘要状态机器成为一个单一的规范范例。执行有力的形式模型分析抽象化
  • 血小板计数

  • 21篇参考文献[SW0921]
  • 模型,侧重于等式结石和摘要 机器然后介绍PLT ReDox,一套…
  • 帕西奥

  • 15篇参考文献[SW0981]
  • 沃伦的推广摘要 机器. PARTIO是并行C写的,正在运行…
  • SEL4

  • 76篇参考文献[SW15222]
  • 正式的,机器Sel4微内核的检查验证摘要规范向下…
  • 达斯旺

  • 13篇参考文献[SW0463]
  • 基于修改沃伦摘要 机器(WAM)用于并行执行,并被设计为…
  • 雅加达

  • 18篇参考文献[SW01269]
  • 代码验证器抽象化从JavaCARD虚拟机的规范机器. 该工具采取…这是一个防御虚拟机器和通过抽象化它可以转化为……
  • PROSTO-L

  • 7篇参考文献[SW02476]
  • 基于原型摘要 机器沃伦的延伸摘要 机器
  • 格拉维兹

  • 79篇参考文献[ SW01283]
  • 将结构信息表示为摘要图形和网络。它有重要的应用…生物信息学,软件工程,数据库和网页设计,机器学习,并在视觉界面为其他…
  • 魔术

  • 37篇参考文献[SW14159]
  • 反状态部件机器规格为了这个目的,魔法提取物摘要使用谓词的软件模型…
  • 科雷姆

  • 13篇参考文献[SW01936]
  • CORASM插件体系结构摘要状态机器以建模的通用性而闻名。
  • XASM

  • 6篇参考文献[SW21003]
  • XASM——一种基于组件的可扩展的摘要状态机器语言这个摘要状态机器
  • 木棉

  • 7篇参考文献[SW20842]
  • 现作者的实施摘要 机器对于交互网[5 ]并使用POSIX…
  • ASMKEY

  • 6篇参考文献[SW25427 ]
  • 安全逻辑摘要状态机器. 我们扩展了逻辑摘要状态机器机器在一个定义良好的区域摘要内存新的阅读谓词…
  • 6篇参考文献[SW1381]
  • 制表。SLGWAM是一个摘要 机器这可以被描述为一种共享方法…
  • GCPN

  • 3篇参考文献[SW22677 ]
  • GcPan:高效摘要 机器为了安全的环境。有效的摘要 机器为了安全的环境…过程称为严重干扰。巴尔安摘要 机器称为GCPAN,用于分布式实现…提出并研究了类型SA。我们的机器改进以前的建议执行…描述分布式实现的摘要 机器在OcAML中。更广泛地说,这项研究…