停止战争！

Остановите войну!

对于科学家：

默认搜索操作

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

问别人

第26届FMICS 2021：法国巴黎

>主页 >会议和研讨会 >飞行管理信息系统

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmics/2021
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmics/2021
阿尔贝托·卢奇·拉富恩特,阿纳斯塔西亚·马夫里杜:
工业关键系统的形式方法——第26届国际会议，FMICS 2021，巴黎，法国，2021年8月24-26日，会议记录。计算机科学课堂讲稿12863,施普林格 2021，国际标准图书编号978-3-030-85247-4

验证

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmics/HansenGPTPW21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmics/HansenGPTPW21
西蒙·特兰·汉森,科劳迪奥·戈麦斯,毛里齐奥·帕尔米耶里,卡斯珀·图勒,雅各·范德波尔,吉姆·伍德科克:
代数循环和自适应步长下的协同模拟算法验证。 3-20
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmics/LourencoCFMMI21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmics/LourencoCFMMI21
Cláudio Belo Lourenço贝洛·卢伦索,丹尼斯·库西诺,弗洛里安·费索尔,克劳德·马奇,大卫·曼特雷,井上裕久:
梯形图程序时间属性的自动验证。 21-38
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmics/BeekCLMS21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmics/BeekCLMS21
莫里斯·特尔·比克,文森佐·西安西亚,迭戈·拉特拉,梅克·马西克,乔治·奥伦佐·斯帕格诺洛:
智能站的空间模型检查-研究挑战。 39-47

课程安全与教育

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmics/Jahanian21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmics/Jahanian21
哈米德·贾哈尼安:
安全关键程序中的参数故障。 51-66
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmics/RubbensLH21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmics/RubbensLH21
罗伯特·鲁本斯,苏菲车床,玛丽克·赫斯曼:
Java异常模块错误的模块化转换。 67-84
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmics/威斯特伐尔21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmics/Westphal21
伯恩德·韦斯特法尔:
关于工业关键系统正式方法的教育和培训。 85-103

（事件-）B建模与验证

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmics/SchmidtL21配置文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmics/SchmidtL21网站
约书亚·施密特,迈克尔·勒谢尔:
改进SMT求解器集成以验证B和Event-B模型。 107-125
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmics/MendilASMP21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmics/MendilASMP21网站
伊斯梅尔·门迪尔,雅敏·艾特·阿米尔,尼拉杰·库马尔·辛格,多米尼克·梅里,菲利普·帕兰克:
与Event-B的标准符合性。 126-146

形式分析

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmics/KivirigaLN21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmics/KivirigaLN21网站
安德烈·基维里加,金·古德斯特兰·拉森,乌里克·尼曼:
Uppaal中的随机可达性分析：定时系统中的快速错误检测。 149-166
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmics/PollienGHRT21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmics/PollienGHRT21
巴普蒂斯特·波利恩,克里斯托夫·加里昂,戈蒂尔·哈滕伯格,皮埃尔·罗斯,Xavier Thirioux公司:
用Frama-C验证无人机自动驾驶仪的数学库。 167-173
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmics/BasileFR21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmics/BasileFR21
大卫·巴西尔,亚历山德罗·范泰奇,艾琳·罗萨迪:
UNISIG安全应用中间子层的形式化分析——将形式化方法应用于铁路标准接口。 174-190

工具

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmics/BendispostoGJLP21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmics/BendispostoGJLP21
延斯·本德斯普托,大卫·盖尔,Yumiko Jansing先生,迈克尔·勒谢尔,安东尼娅·普茨,费边·武（Fabian Vu）,米歇尔·沃思:
ProB2用户界面：ProB的一个基于Java的用户界面。 193-201
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmics/Bruttomesso21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmics/Bruttomesso21
罗伯托·布鲁托梅索:
无畏：基于脚本和云的SMT模型检查器。 202-211
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmics/LarrazLT21公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmics/LarrazLT21
丹尼尔·拉拉兹,米卡·洛朗,塞萨尔·蒂内利:
第二类优缺点分配。 212-220

测试生成和概率验证

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmics/ThibeaultACPF21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmics/ThibeaultACPF21
奎恩·蒂博尔特,雅各布安德森,阿尼鲁德·钱德拉特雷,朱利亚·佩德里利,乔治·费内科斯:
PSY-TaLiRo:用于网络物理系统基于搜索的测试生成的Python工具箱。 223-231
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmics/RobertsLHBRCZ21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmics/RobertsLHBRCZ21
莱利·罗伯茨,本杰明·刘易斯,阿恩·哈特曼斯,普拉巴尔·巴苏,桑哈米特拉·罗伊,Koushik查克拉博蒂,Zhen Zhang先生:
二对二网络芯片系统可靠性的概率验证。 232-248

服务

管理站点设置

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