乌普巴尔

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


ZBMaX中的参考文献(615篇)3篇标准文章

显示结果1至20的615。
按年份排序(引文
  1. Mhiri,萨哈尔:Time4Sys2imi:一种在不确定条件下正式化实时系统模型的工具(2019)
  2. Murgia,Maurizio:为异步定时会话类型输入紧急语义(2019)
  3. 保尔森,Lawrence C.;尼普科夫,托拜厄斯;文策尔,Makarius:从LCF到伊莎贝尔/HOL(2019)
  4. Podymov,V. V.:一种分层时间自动机的平坦化算法(2019)
  5. R.J.Van GLabBeek,RoB:确保分布式系统的活跃性:开放性问题(2019)
  6. Akshay,S;GASTIN,保罗;Krishna,SunkaRa纳拉亚南:利用树自动机分析定时系统(2018)
  7. Bouyer,帕特丽夏;Fahrenberg,尤利;拉森,Kim Guldstrand;Markey,尼古拉斯;Ouknin,Jo.l;Wurrl,Fube:模型检查实时系统(2018)
  8. 丹尼斯,Louise A.;Fisher,米迦勒;Webster,Matt:两阶段代理程序验证(2018)
  9. 票价,Elie;BoDeEix,Jean Paul;Fieli,MaMoun:过渡系统组合的事件代数在时间自动机中的应用(2018)
  10. 卡洛斯,Llana,路易斯;MalueNez,拉斐尔:(MathsFioCo下划线\ MathsFS)一致性关系的公理语义(2018)
  11. 约瓦诺维奇,Aleksandra;KWATKOWSKA,马尔塔:使用随机博弈抽象的概率时间自动机的参数综合(2018)
  12. Maciej,轩尼诗,马修:区分通信交易(2018)
  13. Rupak Maunddar;拉斯金,Jeang-弗兰Couoo:非布尔域中的符号模型检验(2018)
  14. Schwammberger,麦克:一种用于证明城市自主交通安全的抽象模型(2018)
  15. 塞西亚,Sanjit A.;Sharygina,娜塔莎;Tripakis,斯塔夫罗斯:验证模型(2018)
  16. 威默,西蒙;Lammich,彼得:时间自动机的验证模型检验(2018)
  17. Al Bataineh,奥玛尔;雷诺兹,马克;法语,提姆:寻找具有循环行为的时间自动机模型的最小和最大终止时间(2017)
  18. 卡米莱利,John J.;Schneider,Gerardo:规范性文件的建模与分析(2017)
  19. Daca,PrZeMysAw;Henzinger,Thomas A.;K.E.NSK,J.;彼得洛夫,Tatjana:无界时间特性的快速统计模型检验(2017)
  20. Jaghoori,Mohammad Mahdi;德波尔,弗兰克;Longuet,德尔菲娜;Couthia.Tom;Sirji,MARJA:实时基于行为系统的组成可调度性分析(2017)