zbMATH中的参考文献(参考文献58条)

显示第1到第20个结果,共58个。
按年份排序(引用)
  1. 雪佛龙,弗洛伦特;休罗,奥丽;Quéinnec,Philippe:论异步通信的多样性(2016)
  2. 奥利维拉,马塞尔·V·M。;安东尼诺,P。;拉莫斯,R。;桑帕约,A。;莫塔,A。;Roscoe,A.W.:使用组件元数据和模式严格开发基于组件的系统(2016)
  3. 维克斯,迪米特里斯;朗,弗里德里克;迪玛,加泰林;Mateescu,Radu:使用CADP验证(\mathrmEB^3)规范(2016)
  4. Al Humaimeedy,阿贝尔S。;Fernández,Maribel:在CSP中实现SOC的同步和异步通信(2015)
  5. Garavel,Hubert:重温过程计算中的顺序组合(2015)
  6. 李丹;李,萧山;刘志明;Stolz,Volker:从UML行为模型到契约的自动化转换(2014)ioport公司
  7. 李,李易;冈特,艾尔莎;Mansky,William:CSP的符号分析工具(2014)
  8. 莫兰,穆拉特;希瑟,詹姆斯;施耐德,史蒂夫:使用CSP验证投票系统中的匿名性(2014)ioport公司
  9. 诺盖拉,西德尼;桑帕约,奥古斯托;Mota,Alexandre:基于状态的用例模型的测试生成(2014)
  10. 施耐德,史蒂夫;特雷哈尼,海伦;Wehrheim,Heike:Event-B精炼的行为语义(2014)
  11. 豪厄尔斯,保罗;d'Inverno,Mark:指定CSP中的终止(2013)
  12. 默里,托比:模型检验CSP的精化测试极限(2013)
  13. 范德梅登,罗恩;张晨义:有调度器的系统中的信息流。二: 精炼(2013)
  14. 伍德考克,吉姆;维克多·班杜尔:《统一大学技术课程中的不确定性理论》(2013)
  15. 聪,杰森;古鲁拉杰,卡蒂克;张鹏;邹毅:基于并发集合的硬件综合任务级数据模型(2012)ioport公司
  16. 帕利卡列娃,赫里斯蒂娜;瓦克宁,乔尔;Roscoe,A.W.:CSP跟踪优化中的SAT求解(2012)
  17. 帕帕尼古拉,尼古拉;克里斯,莎迪;迈克尔·戈德史密斯:《隐私政策的改进检查》(2012)
  18. 克莱恩,莫里茨;Sanders,J.W.:模拟真正并发的CSP(2011)
  19. 鲁舍尔,迈克尔;Bendisposto,Jens:B的直接模型检查:评估和新技术(2011)
  20. 王,彼得·Y·H。;吉本斯,杰里米:BPMN的形式化和应用(2011)