克劳兹

CLAWZ是一种工具,在SIMULINK图形符号之间转换,用于表达控制律模型和Z表示法。ClawZ的第一个版本是在1999春季开发的。根据案例研究和现实生活中的经验,这已经得到了改进和提高。当前版本的Caloz(版本1.1.7)于2004年2月发布。克劳兹的发展是由德拉和钦蒂克赞助的。


ZBMaCT中的参考文献(14篇文章中引用)

显示结果1至14的14。
按年份排序(引文

  1. 卡瓦尔坎蒂,阿纳河;国王,史提夫;奥哈洛兰,柯林;伍德考克,吉姆:证明控制数据覆盖的测试数据生成(2014)
  2. Arthan,Rob;马丁,厄休拉;奥利瓦,Paulo:线性系统的霍尔逻辑(2013)
  3. 卡瓦尔坎蒂,阿纳河;莫塔岛,亚历山大;伍德科克,吉姆:程序验证的SIMULINK定时模型(2013)
  4. 宫崎骏,阿尔瓦罗;卡瓦尔坎蒂,阿纳河:以状态为导向的状态流程图模型(2012)
  5. 泽伊达,弗兰克;奥利维拉,Marcel;卡瓦尔坎蒂,阿纳河:声音精炼战术的机械化支持(2012)
  6. 卡瓦尔坎蒂,阿纳河;克莱顿,Phil;奥哈洛兰,柯林:从控制律图到艾达通过文本FrCurCube(2011)
  7. 奥利维拉,Marcel;ZeyDA,弗兰克;CavalcToand,Ana:一种用于细化富国家并发规范的策略语言(2011)
  8. 陈,春庆;Dong,金松;Sun,Jun:Simulink图建模与验证的正式框架(2009)
  9. 泽伊达,弗兰克;卡瓦尔坎蒂,阿纳河:关于UTP理论家族的机械推理(2009)
  10. 泽伊达,弗兰克;奥利维拉,Marcel;卡瓦尔坎蒂,阿纳河:支持校对的安格尔(2009)伊波尔特
  11. 波斯特罗姆,庞特斯;莫雷尔,莱昂内尔;沃尔德·恩,玛丽娜:使用精化演算框架逐步发展Simulink模型(2007)
  12. 卡瓦尔坎蒂,阿纳河;克莱顿,Phil;奥哈洛兰,柯林:《马戏团》中的控制律图(2005)
  13. Boulton,Richard J.;Hardy,鲁思;马丁,厄休拉:单输入单输出连续时间控制系统的HORAR逻辑(2003)
  14. 托马斯,关于线性不等式组的推理(1988)