乌帕阿尔

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


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

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

1 2 ... 30 31 32 下一个

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

1 2 ... 30 31 32 下一个