乌帕阿尔

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


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

显示634个结果中的581到600个。
按年份排序(引用)
  1. Dierks,H.:PLC自动机:一种新的可实现实时自动机(2001)
  2. 多尔蒂,G。;马辛克,M。;Faconti,G.:关于具有随机模型的交互系统的推理(2001)
  3. 多尔蒂,G。;马辛克,M。;Faconti,G.:使用混合自动机支持关键系统中的人为因素分析(2001)
  4. Gerdsmeier,T。;Cardell Oliver,R.:使用一般时间自动机分析调度行为(2001)
  5. 休恩,托马斯;拉森,金G。;Pettersson,Paul:使用UPPAAL的控制程序的指导合成(2001)
  6. 哈提卜,丽娜;尼古拉,穆塞托拉;Havelund,Klaus:使用UPPAAL验证计划模型(2001)
  7. 拉森,金;贝尔曼,格尔德;布林克斯马,埃德;芬克,安加;Hune,Thomas:尽可能便宜:定价时间自动机的有效成本最优可达性(2001)
  8. 林达尔,马格努斯;佩特松,保罗;王毅2001年《齿轮控制器的形式化分析》
  9. 玛德,安吉丽卡;布林克斯马,埃德;乌珀,汉诺;Bauer,Nanette:间歇装置VHS案例研究1(2001)的PLC控制程序设计
  10. 玛格丽亚,提兹亚娜(编辑);王毅(编):系统建构与分析之工具与演算法。第七届国际会议,TACAS2001,作为欧洲软件理论与实践联合会议的一部分,2001年4月2日至6日在意大利热那瓦举行。诉讼(2001年)
  11. 梅尔兹,斯蒂芬:模型检查:教程概述(2001)
  12. 尼尔森,布莱恩;Skou,Arne:来自时间自动机的自动测试生成(2001)
  13. 鲁莽,詹姆斯L(编辑);鲁夫,克里斯托弗A(编辑);特鲁兹科夫斯基,沃尔特(编辑);戈登,戴安娜(编辑);辛奇,迈克尔G(基于agent系统的形式化方法。第一届国际研讨会,2000年4月5日至7日,美国马里兰州绿带,FAABS 2000。修订文件(2001年)
  14. Judi Romijn:IEEE 1394领导人选举协议的定时验证(2001)
  15. Seidelin Hune,Thomas:实时系统分析:理论与工具(2001)
  16. 西蒙斯,大卫P。五十、 。;斯托琳加,玛丽ëlle I。A、 :使用uppal2k(2001)对ieee1394a根竞争协议的机械验证
  17. Springintveld,J。;瓦德拉格,F。;达尔吉诺,P。R、 :测试时间自动机(2001)
  18. 特里帕基斯,斯塔夫罗斯;尤文塞尔吉奥:用时间抽象双模拟分析时间系统(2001)
  19. 雅武兹·卡韦奇,图巴;Tuncer,穆拉特;Bultan,Tevfik:复合符号表示库(2001)
  20. 贝尔曼,格尔德;休恩,托马斯;Vaandrager,Frits:分布式定时模型检查--搜索顺序如何重要(2000)