乌帕阿尔

此软件的关键字
zbMATH中的参考文献(引用于, 3标准条款 )
Clemente,Lorenzo;Lasota,Sławomir:时间下推自动机的可达关系(2021) Aman,Bogdan;Ciobanu,Gabriel:具有定时迁移和定时通信的多智能体系统中的雇佣成本(2020) Baresi,L.;Bersani,M.M.;Marconi,F.;Quattrocchi,G.;Rossi,M.:使用正式验证评估Spark应用程序的执行时间(2020年) Bersani,Marcello M.;Soldo,Matteo;Menghi,Claudio;Pelliccione,Patrizio;Rossi,Matteo:追求——从机器人环境规范到控制器综合(2020) 法伦伯格,乌利;莱盖,阿克塞尔;夸斯,卡林:用定量游戏计算分支距离(2020年) 弗雷泽,道格拉斯;贾昆塔,鲁本;霍夫曼,露丝;爱尔兰,默里;米勒,爱丽丝;诺曼,盖钦:自主系统控制器综合的协作模型(2020) Paul Gainer;Sven Linker;Dixon,Clare;Hustadt,Ullrich;Fisher,Michael:分布式同步的多尺度验证(2020) Glonina,A.B.:用于测试模块化计算系统配置的实时约束的工具系统(2020) 古铁雷斯,朱利安;纳吉布,穆罕默德;佩雷利,朱塞佩;伍尔德里奇,迈克尔:自动时间均衡分析:多人游戏的验证和综合(2020) Kölbl,Martin;Leue,Stefan;Wies,Thomas:TarTar:定时自动修复工具(2020) David Mestel;Roscoe,A.W.:并发模型之间的转换(2020) Saddem yagoubi,Rim;Naud,Olivier;Godary dejean,Karen;Crestani,Didier:模型检验精确农业物流:差异收获案例(2020) 安德烈,Étienne;Jerray,Jawher;Mhiri,Sahar:Time4sys2imi:一种在不确定条件下正式化实时系统模型的工具(2019年) Murgia,Maurizio:异步定时会话类型的输入紧急语义(2019) Paulson,Lawrence C.;Nipkow,Tobias;Wenzel,Makarius:从LCF到Isabelle/HOL(2019年) Podymov,V.V.:分层时间自动机的平坦算法(2019) Martin Tappler;Bernhard K.Aichernig;Larsen,Kim Guldstrand;Lorber,Florian:学习时间--从测试中学习时间自动机(2019) van Glabbeek,Rob:《确保分布式系统的活跃性:开放问题》(2019) Akshay,S.;Gastin,Paul;Krishna,Shankara Narayanan:使用树自动机分析时间系统(2018) Patricia Bouyer;Uli Fahrenberg;Kim Guldstrand;Markey,Nicolas;Ouakine,Joël;Worrell,James:模型检查实时系统(2018)