乌帕阿尔

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


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

显示634个结果中的41到60个。
按年份排序(引用)
  1. 洛伯,弗洛里安;罗森曼,阿姆农;č科维ć, 德扬;Aichernig,Bernhard K.:具有静默跃迁的时间自动机的有界确定(2017)
  2. 尼科娃,鲁米亚娜;波奇,劳拉;Yoshida,Nobuko:多方对话的定时运行时监控(2017)
  3. 帕克,朱基尔;李,因苏普;索科尔斯基,奥列格;黄大妍;安素珍;崔金英;Kang,Inhye:分层实时系统可调度性分析和工作量抽象的过程代数方法(2017)
  4. 国际劳工组织,罗查;梅斯盖尔,乔斯é; ñ盎司,César:重写模块SMT和开放系统分析(2017)
  5. Waez,医学博士Tawhid Bin;Wą索斯基,安德鲁泽伊;迪格尔,尤尔根;Rudie,Karen:使用时间自动机对动态分层实时对象进行控制器综合(2017)
  6. 阿曼,博格丹;Ciobanu,Gabriel:加权尖峰神经系统的建模与验证(2016)
  7. 安德烈é, Étienne:参数无死锁检查时间自动机(2016)
  8. 安德烈é, É蒂恩:参数时间自动机有什么可决定的(2016年)
  9. 安德烈é, É蒂安;本穆萨,穆罕默德·马赫迪;Choppy,Christine:使用有色Petri网形式化并发UML状态机(2016)
  10. 巴博特,贝诺ît;巴塞特,尼古拉斯;伯纳多,马克;Kwiatkowska,Marta:时间自动机的统一抽样及其在语言包含测量中的应用(2016)
  11. 贝内雷凯蒂,马西莫;佩隆,阿德里亚诺:定时递归状态机:表现力和复杂性(2016)
  12. Bé雷德,Bé心房;拉福卡德,帕斯卡;小米,桂圆;波托普·布图卡鲁,玛丽亚;蒂埃里·米格,扬;Tixeuil,Sé巴斯蒂安:移动机器人协议的正式验证(2016)
  13. 贝尔纳德斯基,辛齐亚;Domenici,Andrea:通过与原型验证系统的交互定理证明验证非线性控制的安全特性(2016)
  14. 贝兹ěk、 彼得;贝尼š, 尼古拉;巴纳特,吉ří; Č厄恩á, Ivana:参数时间自动机的LTL参数综合(2016)
  15. 卡马乔,卡洛斯;利亚纳,路易斯;Núñez,Alberto:软件产品线的成本相关接口(2016)
  16. D'Argenio,佩德罗·R。;哈特曼,阿恩德;勒盖,阿克塞尔;Sedwards,Sean:概率时间自动机最优调度的统计近似(2016)
  17. 费奥阿雷尼斯,塞尔吉奥;威斯特法尔,伯纳德;迪茨,丹尼尔;ñ伊兹,马可;安迪沙,西亚尔;波德尔斯基,安德烈亚斯:准备测试:通过正式验证确保符合工业标准(2016年)ioport公司
  18. 迦西米,法提米;福金,广域网:模型检查移动自组织网络(2016)
  19. 希尔舍尔,马丁;Schwammberger,Maike:证明自治城市交通安全的抽象模型(2016)
  20. 耶古瑞尔,西里尔;勒盖,阿克塞尔;Sedwards,Sean:基于命令的统计模型检验重要性抽样(2016)