默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

计算的形式方面，第33卷

>主页 >期刊销售 >计算的形式方面

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

第33卷第1期，2021年1月

2018年FM会议上提交的论文扩展版本

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/VinkC21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/VinkC21
埃里克·德文克,安娜·卡瓦尔坎蒂:
编辑。 1-2
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/BacciBFLMR21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/BacciBFLMR21
乔瓦尼·巴奇,帕特里夏·鲍耶,乌里·法伦伯格,金·拉森,尼古拉斯·马基,皮尔雷·阿莱恩·雷尼尔:
基于不确定性能量时间自动机的最优鲁棒控制器综合。 3-25
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/CavezzaAG21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/CavezzaAG21
戴维德·卡维扎,达拉·阿拉杰,安德烈斯·吉尔吉:
GR（1）公式的弱度量。 27-63
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/DutleMTMAB21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/DutleMTMAB21
亚伦·达特,玛丽亚诺·莫斯卡托,劳拉·蒂托洛,塞萨尔·穆尼奥斯,格里高利·安德森,弗朗索瓦·博博特:
紧凑位置报告算法的形式化分析。 65-86
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/GeislerH21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/Geisler网站21
盖斯勒先生,安妮·伊丽莎白·哈克斯豪森:
使用RAISE对分布式联锁系统进行逐步开发和模型检查。 87-125
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/LetanRCH21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/LetanRCH21
托马斯·莱坦,亚恩·雷吉斯·贾纳斯,皮埃尔·奇夫利埃,纪尧姆·希特:
具有效果和效果处理程序的程序的模块化验证。 127-150

第33卷第2期，2021年3月

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/fac/张XYL21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/ZhangXYL21
张文波,西安旭,羌音,欢龙:
关于参数化扩展的高阶过程的交互能力。 151-183
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/Hesselink21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fic/Hesselink21
维姆·赫塞林克:
UNITY和Büchi自动机。 185-205
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/XieZX21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/XieZX21
谢婉玲,朱慧彪,徐启文:
移动系统的进程演算BigrTiMo及其形式语义。 207-249
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/BozzanoCGJM21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/BozzanoCGJM21
马可·波扎诺,亚历山德罗·西马蒂,马可·加里奥,大卫琼斯,克里斯蒂安·马塔雷:
基于模型的xSAP三模块发电机安全评估。 251-295
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/Rossi21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/Rossi21
马特奥·罗西:
通信系统的建模和分析。 297-298

第33卷第3期，2021年6月

形式化方法与人工智能

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/ChenLWW21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/ChenLWW21
陈晓平,刘志明,Ji Wang（王吉）,吉姆·伍德科克:
编辑。 299-300
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/BuLXQHYCL21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/BuLXQHYCL21
雷布,梁永娟,准一解,洪谦（音）,胡一齐,杨瑜,Xin Chen（新晨）,李宣东:
机器学习引导复杂软件代码的符号执行框架。 301-323
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/WuLCHWK21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/WuLCHWK21
吴慧慧,吕德云,崔腾祥,侯刚（Gang Hou）,渡边正彦,孔伟强:
SDLV：自驾汽车转向角安全性验证。 325-341
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/YangBYHBFG21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/YangBYHBFG21
杨志斌,杨宝,杨永强,黄志秋,Jean-Paul Bodevix公司,马蒙·菲拉利,顾宗华:
在安全关键自主系统建模中利用增强智能。 343-384
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/JinAZZ21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/JinAZZ21
金祥宇,建安,伯华詹,詹乃军（Naijun Zhan）,张妙妙:
推断切换非线性动力系统。 385-406
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/YangLLHLCHZ21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/YangLLHLCHZ21
杨鹏飞,李建林,刘江超,黄成超,李仁觉,陈丽倩,黄晓伟,张丽君:
通过符号传播增强深度神经网络的鲁棒性验证。 407-435
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/ZhaoZCLW21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/ZhaoZCLW21
赵恒军,夏曾,陈陶璐,刘志明,吉姆·伍德科克:
学习具有屏障证书的安全神经网络控制器。 437-455
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/Loreti21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/Loreti21
米歇尔·洛雷蒂:
《概率兰姆达演算的语义学》，德克·德拉海姆著。 457-458

第33卷第4-5期，2021年8月

2019年FM会议上提交的论文扩展版本

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/McIverB21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/McIverB21
安娜贝拉·麦克维尔,莫里斯·特尔·比克:
编辑。 459-460
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/TanP21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/TanP21
Yong Kiam Tan先生,安德烈·普拉泽:
微分方程存在性和活性的公理方法。 461-518
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/TranPLMYNXBJ21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/TranPLMYNJBJ21
黄敦庄,尼拉尼亚娜·帕尔,迭戈·曼扎纳斯·洛佩兹,帕特里克·穆萨乌,杨晓东,栾越元,项伟明,斯坦利·贝克,泰勒·T·约翰逊:
分段深度神经网络的验证：带zonotope预滤波器的星集方法。 519-545
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日志/fac/井架DDSW21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/DerrickDDSW21
约翰·德里克,西蒙·多尔蒂,布里杰什·多戈尔,格哈德·谢尔霍恩,海克·韦尔海姆:
验证持久并发数据结构的正确性：一种完善的方法。 547-573
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日志/fac/TapplerA0EL21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/TapplerA0EL21
马丁·塔普勒,伯恩哈德·艾切里尼（Bernhard K.Aichernig）,乔瓦尼·巴奇,玛丽亚·艾希塞德,金·拉森:
L（左）^*-基于马尔可夫决策过程的学习（扩展版本）。 575-615
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/BoerB21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/BoerB21
弗兰克·S·德·波尔,马塞洛·M·邦桑格:
符号执行正式解释。 617-636
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/0002HJK21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/0002HJK21
米兰塞斯卡,克里斯蒂安·亨塞尔,塞巴斯蒂安·荣格斯,Joost-Pieter Katoen公司:
概率系统的反例引导归纳综合。 637-667
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/Evangelidis021
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/Evangelidis021
亚历山大·伊万杰利迪斯,大卫·帕克:
卡尔曼滤波器的定量验证。 669-693
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/WissmannDMS21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/WissmannDMS21
托尔斯滕·维曼,汉斯·佩特·迪费尔,斯特凡·米利乌斯,卢茨·施罗德:
从泛型分区细化到加权树自动机最小化。 695-727
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/fac/AmramMP21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/AmramMP21
加尔·阿姆拉姆,沙哈尔·毛兹,或活塞:
GR（1）*：通过存在保证扩展的GR（一）规范。 729-761
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/GleirscherCW21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/GleirscherCW21
马里奥·格雷舍尔,Radu Calinescu公司,吉姆·伍德科克:
风险结构：风险感知机器的设计代数。 763-802
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/Ngondi21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/Ngondi21
杰拉尔德·埃肯贝·恩贡迪（Gerard Ekembe Ngondi）:
UTP-CSP中信道移动性的表示语义。 803-826

第33卷第6期，2021年12月

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/AhrendtTTW21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/AhrendtTTW21
沃尔夫冈·阿伦特,西尔维娅·利泽斯·塔皮亚·塔里法,海克·韦尔海姆:
编辑。 827
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/LutebergetJ21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/LutebergetJ21网站
比约纳尔·卢特伯格,克里斯蒂安·约翰森:
SAT绘图：四种方法和一种工具，用于制作铁路基础设施示意图。 829-854
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/FosterNGWK21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/FosterNGWK21
西蒙·福斯特,雅库布·内穆奇,马里奥·格雷舍尔,冉伟,蒂姆·凯利:
与Isabelle/SACM将形式证明集成到统一保证案例中。 855-884
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/DubslaffKT21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/DubslaffKT21
克莱门斯·杜斯拉夫,帕特里克·科普曼,安妮·亚斯敏·图尔汗:
用本体论增强概率模型检验。 885-921
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/FantechiHW21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/FantechiHW21
亚历山德罗·范特奇,安妮·哈克斯豪森,吉姆·伍德科克:
编辑。 923-924
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/PeleskaKHP21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/PeleskaKHP21
简·佩莱斯卡,尼古拉斯·克拉夫茨克,安妮·E·哈克斯豪森,拉尔夫·平格:
地理联锁系统的有效数据验证。 925-955
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日志/fac/BasileFRM21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/BasileFRM21
大卫·巴兹勒,亚历山德罗·范特奇,路易吉·鲁彻,吉安卢卡·曼多:
使用Uppaal统计模型检查器分析自动缆车定位系统。 957-987
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/FlamminiMNV21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/FlamminiMNV21
弗朗西斯科·弗拉米尼,斯特凡诺·马龙,罗伯托·纳尔多,瓦莱里娅·维托里尼:
基于随机活动网络的铁路虚拟耦合组合建模。 989-1007
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/StankaitisIKAIR21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/StankaitisIKAIR21网站
保利乌斯·斯坦凯蒂斯,阿列克谢·伊利亚索夫,小林尊,雅敏·艾特·阿米尔,石川福玉,亚历山大·罗曼诺夫斯基:
基于改进的分布式信号系统开发。 1009-1036
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/CabotWB21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fic/CabotWB21
乔迪·卡博特,海克·韦尔海姆,埃尔克·博伊滕:
编辑。 1037
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/MenghiRBS21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/MenghiRBS21
克劳迪奥·蒙吉,亚历山德罗·玛丽亚·里兹,安娜·贝纳斯科尼,保拉·斯波莱蒂尼:
TOrPEDO：用拓扑证明见证模型的正确性。 1039-1066
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/StunkelKLR21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/StunkelKLR21
帕特里克·斯滕克尔（Patrick Stünkel）,哈拉尔德·科尼格,Yngve Lamo公司,阿德里安·拉特:
综合系统：多模型一致性管理的正式基础。 1067-1114
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/WeidmannA21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/WeidmannA21网址
尼尔斯·魏德曼,安东尼·安乔林:
通过三重图语法和整数线性规划实现模式兼容一致性管理。 1115-1145
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日志/fac/CordyLPL21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/CordyLPL21
马克西姆·科尔迪,萨米·拉兹雷格,迈克·帕帕达基斯,Axel Legay公司:
变量密集型系统的统计模型检查：应用于缺陷检测和最小化。 1147-1172
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/LaraG21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/LaraG21
胡安·德拉拉,埃丝特·格拉:
语言家族工程与多层次模型产品线。 1173-1208
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/HennickerKM21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/HennickerKM21
罗尔夫·亨尼克,亚历山大·纳普,亚历山大·马德拉:
基于事件/数据的系统的混合动态逻辑机构。 1209-1248
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/ArchibaldKS21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/ArchibaldKS21
布莱尔·阿奇博尔德,盖萨·库尔茨萨尔（Géza Kulcsár）,米歇尔·塞维格纳尼:
两个图模型的故事：无线传感器网络的案例研究。 1249-1277
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/Wilhelm21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/Wilhelm21
莱因哈德·威廉姆:
编程语言基础。 1279-1280

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。