乌帕阿尔

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


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

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

1 2 ... 31 32 33 下一个

  1. 同步数据流的形式化验证(使用Lustine 2021)
  2. 卡塞兹,弗朗克;詹森,彼得·居尔;Guldstrand,Larsen Kim:使用跟踪抽象精化的实时程序的验证和参数综合(2021)
  3. 克莱门特,洛伦佐;Lasota,Sławomir:定时下推自动机的可达关系(2021)
  4. 陆志浩;王瑞;孔辉;关勇;石志平:托勒密离散事件模型(2021)的形式化验证
  5. 曼奇尼,托尼;玛丽,费德里科;马西尼,安娜丽莎;伊戈尔,梅拉蒂;恩里科·特隆奇:关于模拟脚本等价性的检验(2021)
  6. Szymoniak,Sabina:包括各种时间参数的安全协议分析(2021)
  7. 谢婉玲;朱惠标;徐启文:移动系统的过程演算及其形式语义(2021)
  8. 阿曼,博格丹;Ciobanu,Gabriel:带定时迁移和定时通信的多智能体系统中的雇佣成本(2020)
  9. 巴雷西,L。;贝尔萨尼,医学硕士。;马可尼,F。;夸特罗奇,G。;Rossi,M.:使用形式验证来评估Spark应用程序的执行时间(2020年)
  10. 贝尔萨尼,马塞洛M。;索尔多,马特奥;孟吉,克劳迪奥;佩利西翁,帕特里齐奥;Rossi,Matteo:追求——从机器人环境规范到控制器综合(2020)
  11. 法伦堡,乌利;勒盖,阿克塞尔;夸斯,卡林:用定量博弈计算分支距离(2020)
  12. 弗雷泽,道格拉斯;贾昆塔,鲁本;霍夫曼,露丝;爱尔兰,默里;米勒,爱丽丝;Norman,Gethin:自治系统控制器综合的协作模型(2020)
  13. 盖纳,保罗;林克,斯文;狄克逊,克莱尔;赫斯特,乌尔里希;Fisher,Michael:分布式同步的多尺度验证(2020)
  14. Glonina,A.B.:用于测试模块化计算系统配置的实时约束的工具系统(2020)
  15. 古铁雷斯,朱利安;纳吉布,穆罕默德;佩雷利,朱塞佩;伍尔德里奇,迈克尔:自动时间均衡分析:多人游戏的验证和综合(2020)
  16. Kölbl,马丁;卢伊,斯特凡;Wies,Thomas:TarTar:定时自动修复工具(2020)
  17. 梅斯特尔,大卫;Roscoe,A.W.:并发模型之间的转换(2020)
  18. 山丹雅古比,边缘;诺德,奥利维尔;戈达里·德让,凯伦;Crestani,Didier:模型检验精确农业物流:差异收获案例(2020)
  19. 安德烈,爱蒂安;杰瑞,杰威尔;Mhiri,Sahar:Time4sys2imi:一种在不确定性下正式化实时系统模型的工具(2019)
  20. Murgia,Maurizio:异步定时会话类型的输入紧急语义(2019)

1 2 ... 31 32 33 下一个