默认搜索操作

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

问别人

2006年第11届FMICS/PDMC：德国波恩

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

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmics/2006年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmics/2006
卢博斯·布里姆,Boudewijn R.Haverkort公司,马丁·勒克,雅各·范德波尔:
正式方法：应用与技术，第11届国际研讨会，FMICS 2006和第5届国际研讨会PDMC 2006，德国波恩，2006年8月26-27日和8月31日，修订论文集。计算机科学课堂讲稿4346,施普林格 2007，国际标准图书编号978-3-540-70951-0

受邀捐款

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmics/Slobodova06公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmics/Slobodova06网址
安娜·斯洛博多娃:
工业环境中形式验证的挑战。 1-22
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmics/Brim06公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmics/Brim06
卢博斯·布里姆:
分布式验证：探索原始计算能力的威力。 23-34

飞行管理信息系统

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmics/LampkaSW06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmics/LampkaSW06
凯·兰普卡,马库斯·西格尔,马克斯·沃尔特:
一种易于使用、高效的工具链，用于分析电信设备的可用性。 35-50
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmics/HammerW06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmics/HammerW06
莫里茨锤子,米夏埃尔·韦伯:
“存储还是不存储”重新加载：按需回收内存。 51-66
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmics/Saidi06公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmics/Saidi06网站
哈森·萨伊迪:
发现对称性。 67-83
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmics/BrimCMS06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmics/BrimCMS06
卢博斯·布里姆,伊万娜·塞拉,帕维尔·莫拉维克,吉里·西姆萨:
关于将部分降阶与公平假设相结合。 84-99
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmics/HelmstetterMM06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmics/HelmstetterMM06
克劳德·赫尔姆斯特特,弗洛伦斯·马兰尼奇,Laurent Maillet Contoz女士:
测试松散定时注释的覆盖范围。 100-115
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmics/HesselP06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmics/HesselP06
安德斯·赫塞尔,保罗·佩特森:
基于模型的WAP网关测试：工业案例研究。 116-131
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmics/Willemse06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmics/Willemse06网址
蒂姆·A·C·威廉斯:
基于ioco的基于测试的建模启发。 132-147
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmics/SmrckaRVSMR06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmics/SmrckaRVSMR06
亚历斯·斯姆卡,Vojtech Rehák公司,托马斯·沃伊纳,大卫·萨法内克,彼得·马图塞克,Z.Rehák先生:
验证SMV中具有多个时钟的VHDL设计。 148-164
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmics/MathijssenP06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmics/MathijssenP06
阿德·马蒂杰森,A.约翰内斯·比勒托利斯:
自动停车库的验证设计。 165-180
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmics/ClarkG06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmics/ClarkG06
艾伦·克拉克,斯蒂芬·吉尔摩:
评估服务水平协议的服务质量。 181-194
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmics/CuijpersF06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmics/CuijpersF06
Pieter J.L.Cuijpers先生,A.V.Fyukov（弗尤科夫）:
基于仿真的医学图像处理体系结构的性能分析。 195-210
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmics/MuhlbergL06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmics/MuhlbergL06网址
扬·托拜厄斯·穆尔伯格,杰拉尔德·吕特根:
爆破Linux代码。 211-226
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmics/SahaR06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmics/SahaR06
因德拉尼尔·萨哈,苏曼·罗伊:
使用Spin的AFDX帧管理的有限状态建模。 227-243
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmics/FecherS06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmics/FecherS06
哈拉尔德·费彻,延斯·舍恩伯恩:
UML2.0状态机：通过核心状态机完成形式语义。 244-260
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmics/BonakdarpourK06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmics/BonakdarpourK06
Borzoo Bonakdarpour公司,Sandeep S.Kulkarni:
时间自动机的自动增量合成。 261-276
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmics/Zhang06文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmics/张06
张文辉:
基于SAT的LTL公式验证。 277-292
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmics/KrauseW06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmics/KrauseW06
本·克劳斯,蒂姆·沃尔斯:
jmle：通过约束编程执行JML规范的工具。 293-296
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmics/FehnkerHJLR06文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmics/FehnkerHJLR06
安斯加·芬克,拉尔夫·休克,帕特里克·贾耶,米歇尔·卢森堡,费利克斯·劳赫:
Goanna-静态模型检查器。 297-300

PDMC公司

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmics/AbrahamSBFH06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmics/AbrahamSBFH06
埃里卡·阿布拉哈姆,托比亚斯·舒伯特,伯恩德·贝克尔,马丁·弗伦泽,克里斯蒂安·赫尔德:
有界模型检验中的并行SAT求解。 301-315
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmics/BarnatM06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmics/BarnatM06
吉里·巴纳特,帕维尔·莫拉维克:
隐式给定图中查找SCC的并行算法。 316-330
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmics/EzekielLS06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmics/EzekielLS06
乔纳森·以西结,杰拉尔德·吕特根,西米尼亚努半径:
饱和能并行吗？ 331-346
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmics/PajaultP06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmics/PajaultP06
克里斯托夫·帕约,Jean-François Pradat-Peyre女士:
用Cyclades检验分布式着色Petri网模型。 347-361

管理网站设置

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