乌帕阿尔

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


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

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

1 2 ... 31 32 33 下一个

  1. 阿曼,博格丹;乔巴努,加布里埃尔:移动代理系统和加权时间自动机的声誉动力学(2022)
  2. 安德烈,爱蒂安;科夸德,伊曼纽;弗里堡,劳伦特;杰瑞,杰威尔;Lesens,David:反应性约束下发射器飞行控制系统的参数可调度性分析(2021)
  3. 安德烈,爱蒂安;石灰,迪迪埃;马蒂亚斯,兰帕里森;Stoelinga,Mariëlle:攻击故障树的参数分析(2021)
  4. 巴兹尔,戴维德;范泰奇,亚历山德罗;鲁切尔,路易吉;Mandò,Gianluca:用统计模型检查器分析自动电车轨道定位系统(2021年)
  5. Bennour,Imed Eddine:使用lustre对定时同步数据流图的形式化验证(2021)
  6. 卡塞兹,弗朗克;詹森,彼得·居尔;Guldstrand,Larsen Kim:使用跟踪抽象精化的实时程序的验证和参数综合(2021)
  7. 克莱门特,洛伦佐;Lasota,Sławomir:定时下推自动机的可达关系(2021)
  8. 何希明;周若愚;琼斯,蒂莫西M.:时间超属性(2021)
  9. 隆德,塞巴斯蒂安;范迪彭,杰斯珀;拉森,金G。;穆尼兹,马可;林霍尔姆约根森,托比亚斯;Skaarup Daa Andersen,Tobias:Uppaal(2021)中用于更好外推的整数静态分析
  10. 陆志浩;王瑞;孔辉;关勇;石志平:托勒密离散事件模型(2021)的形式化验证
  11. 曼奇尼,托尼;玛丽,费德里科;马西尼,安娜丽莎;伊戈尔,梅拉蒂;恩里科·特隆奇:关于模拟脚本等价性的检验(2021)
  12. 鲁比奥,鲁宾;玛蒂奥利特,纳西索;皮塔,伊莎贝尔;阿尔伯托Verdejo:Maude的策略、模型检查和分支时间特性(2021)
  13. Szymoniak,Sabina:包括各种时间参数的安全协议分析(2021)
  14. 谢婉玲;朱惠标;徐启文:移动系统的过程演算及其形式语义(2021)
  15. Ait Oumeziane,F。;卡拉,R。;Amari,S.:(max,+)和(min,+)代数对带保护的时间自动机的形式化分析与控制(2020)
  16. 阿曼,博格丹;Ciobanu,Gabriel:带定时迁移和定时通信的多智能体系统中的雇佣成本(2020)
  17. 巴雷西,L。;贝尔萨尼,医学硕士。;马可尼,F。;夸特罗奇,G。;Rossi,M.:使用形式验证来评估Spark应用程序的执行时间(2020年)
  18. 贝尔萨尼,马塞洛M。;索尔多,马特奥;孟吉,克劳迪奥;佩利西翁,帕特里齐奥;Rossi,Matteo:追求——从机器人环境规范到控制器综合(2020)
  19. 法伦堡,乌利;勒盖,阿克塞尔;夸斯,卡林:用定量博弈计算分支距离(2020)
  20. 弗雷泽,道格拉斯;贾昆塔,鲁本;霍夫曼,露丝;爱尔兰,默里;米勒,爱丽丝;Norman,Gethin:自治系统控制器综合的协作模型(2020)

1 2 ... 31 32 33 下一个