努西姆

此软件的关键字
zbMATH中的参考文献(引用于
295篇文章
引用, 1标准件 )
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) Firman,Elizabeth;Maoz,Shahar;Ringert,Jan Oliver:GR(1)合成和相关算法的性能启发式(2020) 弗雷泽,道格拉斯;贾昆塔,鲁本;霍夫曼,露丝;爱尔兰,默里;米勒,爱丽丝;诺曼,盖钦:自主系统控制器综合的协作模型(2020) Mirzaie,Nahal;Faghih,Fathiyeh;Jacobs,Swen;Borndarpour,Borzoo:对称网络中自稳定协议的参数化综合(2020) 王蒙,田,丛,张,南,段,振华,姚晨光:将Xd-C程序翻译成MSVL程序(2020) 德鲁克,尼尔德鲁克;何,西明;瓦克宁,乔尔;佩恩,米哈尔;斯特里奇曼,奥弗:无人机的循环路径选择(2019年) 李建文、朱淑芳、蒲葛光、张立军、瓦迪、莫舍Y:基于SAT的显性LTL推理及其在可满足性检验中的应用(2019) Marmsoler,Diego;Gidey,Habtom Kashay:FACTum建筑设计模式的交互验证(2019) Menghi,Claudio;Spoletini,Paola;Chechik,Marsha;Ghezzi,Carlo:控制器迭代设计的验证驱动框架(2019) Ramasubramanian,Bhaskar;Niu,Luyao;Clark,Andrew;Bushnell,Linda;Poovendran,Radha:使用安全控制屏障证书的对抗性环境中的线性时序逻辑满意度(2019) 验证协议(2019年,王振华;段振华,安全系统;段振华) Chaki,Sagar;Gurfinkel,Arie:基于BDD的符号模型检查(2018) Gheorghe,Marian;Ceterchi,Rodica;Ipate,Florentin;Konur,Savas;Lefticaru,Raluca:核心P系统:从建模到验证和测试(2018) Kupferman,Orna:自动机理论与模型检验(2018) Li,Jianwen;Zhang,Lijun;Zhu,Shufang;Pu,Geguang;Vardi,Moshe Y;He,Jifeng:LTL可满足性检验的明确过渡系统构建方法(2018) Wu,Yi Chin;Raman,Vasumathi;Rowlings,Blake C.;Lafortune,Stéphane;Seshia,Sanjit A.:模糊处理策略的综合,以确保隐私和效用(2018) 杨凯;段振华;田聪;张楠:MSVL编译器及其应用(2018) Zhang,Min;Ogata,Kazuhiro:从隐藏到可见:将行为理论转化为重写理论的统一框架(2018) Ezekiel,J.;Lomuscio,A.:结合故障注入和模型检查来验证多智能体系统中的容错性、可恢复性和可诊断性(2017)