乌帕阿尔

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


zbMATH中的参考文献(引用于,3标准条款)

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

1 2 ... 30 31 32 下一个

  1. Clemente,Lorenzo;Lasota,Sławomir:时间下推自动机的可达关系(2021)
  2. Aman,Bogdan;Ciobanu,Gabriel:具有定时迁移和定时通信的多智能体系统中的雇佣成本(2020)
  3. Baresi,L.;Bersani,M.M.;Marconi,F.;Quattrocchi,G.;Rossi,M.:使用正式验证评估Spark应用程序的执行时间(2020年)
  4. Bersani,Marcello M.;Soldo,Matteo;Menghi,Claudio;Pelliccione,Patrizio;Rossi,Matteo:追求——从机器人环境规范到控制器综合(2020)
  5. 法伦伯格,乌利;莱盖,阿克塞尔;夸斯,卡林:用定量游戏计算分支距离(2020年)
  6. 弗雷泽,道格拉斯;贾昆塔,鲁本;霍夫曼,露丝;爱尔兰,默里;米勒,爱丽丝;诺曼,盖钦:自主系统控制器综合的协作模型(2020)
  7. Paul Gainer;Sven Linker;Dixon,Clare;Hustadt,Ullrich;Fisher,Michael:分布式同步的多尺度验证(2020)
  8. Glonina,A.B.:用于测试模块化计算系统配置的实时约束的工具系统(2020)
  9. 古铁雷斯,朱利安;纳吉布,穆罕默德;佩雷利,朱塞佩;伍尔德里奇,迈克尔:自动时间均衡分析:多人游戏的验证和综合(2020)
  10. Kölbl,Martin;Leue,Stefan;Wies,Thomas:TarTar:定时自动修复工具(2020)
  11. David Mestel;Roscoe,A.W.:并发模型之间的转换(2020)
  12. Saddem yagoubi,Rim;Naud,Olivier;Godary dejean,Karen;Crestani,Didier:模型检验精确农业物流:差异收获案例(2020)
  13. 安德烈,Étienne;Jerray,Jawher;Mhiri,Sahar:Time4sys2imi:一种在不确定条件下正式化实时系统模型的工具(2019年)
  14. Murgia,Maurizio:异步定时会话类型的输入紧急语义(2019)
  15. Paulson,Lawrence C.;Nipkow,Tobias;Wenzel,Makarius:从LCF到Isabelle/HOL(2019年)
  16. Podymov,V.V.:分层时间自动机的平坦算法(2019)
  17. Martin Tappler;Bernhard K.Aichernig;Larsen,Kim Guldstrand;Lorber,Florian:学习时间--从测试中学习时间自动机(2019)
  18. van Glabbeek,Rob:《确保分布式系统的活跃性:开放问题》(2019)
  19. Akshay,S.;Gastin,Paul;Krishna,Shankara Narayanan:使用树自动机分析时间系统(2018)
  20. Patricia Bouyer;Uli Fahrenberg;Kim Guldstrand;Markey,Nicolas;Ouakine,Joël;Worrell,James:模型检查实时系统(2018)

1 2 ... 30 31 32 下一个