爪Z swMATH编号： 6340 软件作者： 罗布·阿森 描述： ClawZ是一种在Simulink图形符号（用于表示控制律模型）和Z符号之间进行转换的工具。ClawZ的第一个版本是在1999年春天开发的。根据案例研究和实际例子的经验，这一点得到了改进和加强。CLawZ的当前版本（1.1.7版）于2004年2月发布。CLawZ的开发由DERA和QinetiQ赞助 主页： http://www.lemma-one.com/clawz_docs/clawz_docs.html 相关软件： 马戏团;电源保护;Simulink公司;Z轴;ZRC公司;ArcAngel公司;光泽;伊莎贝尔/HOL;PVS公司;毫升;ArcAngelC公司;凯伊迈拉;nuXmv（数字）;凯伊迈拉X;SL2SX系列;罗丹;伊莎贝尔;Daikon公司;自旋蛋白;存档正式证据 引用于： 14文件 全部的 前5名24位作者引用 8 安娜·卡瓦尔坎蒂 三 科林·奥哈洛兰 三 泽达，弗兰克 2 菲尔·克莱顿 2 乌苏拉·马丁 2 马塞尔·奥利维拉 2 詹姆斯·C·P·伍德科克。 1 罗布·D·阿尔森。 1 博斯特罗姆，蓬图斯 1 理查德·博尔顿。 1 陈春青 1 董金松 1 尤利亚德拉戈米尔 1 露丝·哈迪 1 托马斯·卡夫 1 King，Steve F。 1 阿尔瓦罗宫泽 1 莱昂内尔·莫雷尔 1 亚历山大·莫塔。 1 保罗·奥利瓦 1 普洛塔萨，维奥雷尔 1 孙，六月 1 斯塔夫罗斯·特里帕基斯 1 瓦尔登，玛丽娜 引用于3个系列 5 计算的形式方面 2 计算机程序设计科学 1 信息与计算 在3个字段中引用 14 计算机科学（68至XX） 三 系统论；控制（93至XX） 1 线性代数和多线性代数；矩阵理论（15-XX） 按年份列出的引文