乌帕阿尔

Uppaal是一个用于实时系统建模、仿真和验证的集成工具环境,由丹麦奥尔堡大学计算机科学基础研究和瑞典乌普萨拉大学信息技术系联合开发。它适用于可以建模为具有有限控制结构和实值时钟的非确定性过程集合的系统,通过信道或共享变量进行通信[WPD94,LPW97b]。典型的应用领域包括实时控制器和通信协议,尤其是那些定时方面至关重要的领域。


zbMATH中的参考文献(参考文献634篇,3标准条款)

显示634中的结果621到634。
按年份排序(引用)

以前的 1 2 ... 30 31 32

  1. 何萨贝图,拉维;斯里瓦斯,曼德亚姆;Gopalakrishnan,Ganesh:使用完成函数方法证明具有重排序缓冲区的处理器的正确性(1999)
  2. 拉森,金G。;皮尔逊,贾斯汀;韦斯,卡斯滕;王毅:时差图(1999)
  3. 穆勒,杰斯帕;利希滕贝格,雅各布;安徒生,亨里克;Hulgaard,Henrik:用差分决策图对定时系统进行全符号模型检验(1999)
  4. ø勒,杰斯帕;利希滕贝格,雅各布;安徒生,亨里克·雷夫;Hulgaard,Henrik:差异决策图(1999)
  5. 莫宁,让·弗兰çois;Klay,Francis:ABR一致性标准化算法的正确性证明(1999)
  6. 伙计,鲍伊。;法康蒂,G。;卡托恩,J.-P。;拉特拉,D。;Massink,M.:使用UPPAAL自动验证lip同步协议(1998)
  7. Bowman,Howard:基于LOTOS的面向对象分布式系统形式化方法教程(1998年)ioport公司
  8. Bowman,Howard:基于LOTOS的面向对象分布式系统形式化方法教程(1998年)ioport公司
  9. 阿鲁尔,拉吉耶夫;Henzinger,Thomas A.:实时系统=离散系统+时钟变量(1997)
  10. Gr公司é戈尔,让·查尔斯(编辑);霍尔兹曼,杰拉德J(编辑);佩利德,多伦A(自旋验证系统。第二次研讨会,DIMACS研讨会论文集。罗格斯大学,新不伦瑞克,新泽西州,美国;1996年8月5日(1997年)
  11. 詹森,亨里克·埃杰斯博;拉森,金G。;Skou,Arne:使用SPIN和UPPAAL对碰撞避免协议的建模和分析(1997)
  12. 拉森,金G。;佩特松,保罗;王毅:简而言之,乌帕尔(1997)
  13. 拉森,金G。;斯特芬,B。;Weise,C.:实时和混合系统的连续建模:从概念到工具(1997)
  14. Ben Ari,M.:并发和分布式编程原理(1990)

以前的 1 2 ... 30 31 32