伊莎贝尔/马戏团

此软件的关键字
zbMATH参考文献(13篇文章引用)
Foster,Simon;Thiele,Bernhard;Cavalcanti,Ana;Woodcock,Jim:面向Modelica的UTP语义(2017) Zeyda,Frank;Foster,Simon;Freitas,Leo:Isabelle/UTP的公理价值模型(2017) Bourke,Timothy;van Glabbeek,Robert J.;Höfner,Peter:网络协议的过程代数机械化(2016) Foster,Simon;Zeyda,Frank;Woodcock,Jim:《用透镜统一异质状态空间》(2016) Foster,Simon;Zeyda,Frank;Woodcock,Jim:Isabelle/UTP:机械化理论工程框架(2015) Borke,Timothy;van Glabbeek,Robert J.;Höfner,Peter:网络协议的过程代数的组合不变性(2014) Borke,Timothy;van Glabbeek,Rob;Höfner,Peter:《AODV路由协议(未命名)的环路自由度的机械化证明》(2014) 安德鲁·巴特菲尔德(Butterfield),(U\cdot(TP)^2)的逻辑(2013) 安娜·卡瓦尔坎蒂;阿历山德拉·莫塔;吉姆·伍德科克:用于程序验证的Simulink定时模型(2013年) Simon Foster;Jim Woodcock:Isabelle的统一编程理论(2013) Wei,Kun;Woodcock,Jim;Burns,Alan:用时间带模拟复杂系统中的时间行为(2013) Wei,Kun;Woodcock,Jim;Cavalcanti,Ana:《反应式设计的马戏团时间》(2013) Feliachi,Abderrahmanne;Gaudel,Marie Claude;Wolff,Burkhart:Isabelle/Circus:工艺规范和验证环境(2012) ioport公司