• Z

  • 引用274篇文章[sw10291]
  • 使用Z.规范精炼和证明。这本书是一个深入的介绍。。。规范语言$Z$. 它主要是针对用户的;背景理论是。。。小说的显著特点是$Z$通过精化演算和数据精化。。。正式纪律的提升规范还有推理?另一个令人失望的是。。。
  • Z/晚上

  • 引用的第43条[sw10262]
  • 证明人。这扩展了Z 规格在CZT中用定理证明和验证。。。
  • 证明力

  • 在56篇文章中引用[sw06339]
  • ProofPower为规范以及证明Z使用语义嵌入。。。
  • ZRC公司

  • 在14篇文章中引用[sw21827]
  • 事实上Z是一个规范只有语言,没有相关的程序开发方法。。。摩根的作品包含了Z并遵循其风格和惯例。这个。。。程序可以从Z 规格使用ZRC。我们呈现ZRC-L语言。。。他们关心的是Z将模式转换成这种语言的程序。而且。。。
  • 捷克币

  • 参考12篇文章[sw05782]
  • 动画形式化规格写在Z 规范语言。除了ISO标准。。。
  • 霍尔茨

  • 参考11篇文章[sw02996]
  • 2005版)。它允许进口Z 规格用乳胶写的,而且类型检查过。。。系统。荷兰语-Z然后允许对这些规格,即通过证明。。。
  • Z2sal公司

  • 参考6篇文章[sw07087]
  • Z2sal:一个基于翻译的模型检查器z. 复杂的计算机系统很难实现。。。符号,一种广泛使用的形式规范语言。Z在学术界非常成功。。。编辑、排版和动画制作规格写在Z,在一些支持下。。。转换方案保留Z-风格规范包括有素数和无主变量的谓词。。。
  • 苏珊娜

  • 引用3篇文章[sw01553]
  • 实施Z 规格使用程序转换系统:SuZan项目。。。
  • 贾扎

  • 1条引用[sw18262]
  • 的开源动画Z 规范语言。它是用Haskell写的,它。。。
  • 泄漏

  • 引用3篇文章[sw09494]
  • 符号和样式Z. 软泥支架要求,规格、可解释程序和可编译程序。。。
  • 阿坎杰奇

  • 参考6篇文章[sw06338]
  • 规格使用以下组合定义并发系统的数据和行为方面Z...
  • 机构动态仿真模块组

  • 参考7篇文章[sw04349]
  • 系统数学:差分方程和z轴变换,常微分方程(线性和非线性。。。求解微分方程的数值方法。因为具体的应用程序需要具体的工具,作者介绍。。。
  • TCOZ公司

  • 引用8篇文章[SW032号文件]
  • 定时通信对象Z(TCOZ)组合对象-Z在复杂数据建模方面的优势。。。检测TCOZ的静态语义错误规范,然后说明一个转换工具来自动。。。
  • 激肽磷

  • 引用8篇文章[sw22468号]
  • 有激酶的侧翼残基-具体的磷酸化位点。在此,一个新的网络服务器,KinasePhos。。。氨基酸类型X和Z被d氨基酸分开。。。
  • 高规格

  • 1条引用[sw09750]
  • 综合高水平规范语言,奥兹塔,是客体的组合-Z(盎司)和时间。。。
  • PSIM

  • 参考6篇文章[sw06601]
  • 仿真软件明确地设计用于电力电子,电机控制和动态系统仿真。下面。。。数字控制系统分析z-域。。。SimCoupler模块:用于与Matlab/Simulink的联合仿真。。。
  • M2Z型

  • 1条引用[sw00532]
  • 系统。利用这些基础知识规范语句将被翻译并进行语义解释。。。在中生成等价语句Z...
  • 埃斯特拉斯

  • 1条引用[sw29567]
  • 标准荟萃分析(固定效应,随机效应,z-(2)分析。。。基因表达谱的基因关联;(6)基因特异性统计分析(方差分析,成对比较。。。
  • TWOTRAN公司

  • 1条引用[sw31911]
  • 粒子输运问题-z轴和r-θ几何。三个特殊版本。。。真空、反射、白色、周期性或输入规范边界通量条件。两个各向异性不均匀问题。。。