默认搜索操作

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

问别人

FM 2006：加拿大汉密尔顿

>主页 >会议和研讨会 >FM公司

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/2006年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/2006
贾亚德夫·米斯拉,托比亚斯·尼普科,埃米尔·塞克林斯基:
FM 2006：形式方法，第14届形式方法国际研讨会，加拿大汉密尔顿，2006年8月21日至27日，会议记录。计算机科学课堂讲稿4085,施普林格 2006，国际标准图书编号3-540-37215-6

邀请的谈话

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/HenzingerS06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/HenzingerS06
托马斯·汉津格,约瑟夫·西法基斯:
嵌入式系统设计挑战。 1-15

交互式验证

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/SchellhornGHR06公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/SchellhornGHR06
格哈德·谢尔霍恩,霍尔格·格兰迪,多米尼克·汉伯格,沃尔夫冈·雷夫:
Mondex挑战：电子钱包的机器检查证明。 16-31
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/SchmittHBRM06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/SchmittHBRM06网址
乔纳森·施密特,阿尔文·霍夫曼,迈克尔·巴尔泽,沃尔夫冈·雷夫,马尔·马科斯:
医疗指南的交互验证。 32-47
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/DelahayeED06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/DelahayeED06网站
大卫·德拉哈耶,Jean-Frédéric Etienne女士,Véronique Donzeau-Gouge公司:
使用焦点环境认证机场安全条例。 48-63
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/UmenoL06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/UmenoL06网址
Shinya Umeno公司,南希·A·林奇:
使用I/O自动机和PVS定理证明器证明飞机着陆协议的安全属性：案例研究。 64-80

邀请的谈话

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/科恩06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/科恩06
厄尼·科恩:
正在验证Microsoft Hypervisor。 81-81

系统的形式化建模

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/拉森NW06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/LarsenNW06
金·古德斯特兰·拉森,乌里克·尼曼,安德烈·瓦索夫斯基:
接口输入/输出自动化。 82-97
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/BrunetCU06会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/BrunetCU06网址
格雷格·布鲁特,玛莎·契契克,塞巴斯蒂安·乌奇特尔:
行为模型合并的属性。 98-114
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/FreitasC06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/FreitasC06网站
安吉拉·弗雷塔斯,安娜·卡瓦尔坎蒂:
自动转换自马戏团至Java。 115-130
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/McIver06公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/McIver06网址
安娜贝拉·麦克维尔:
定量精炼和概率系统分析的模型检验。 131-146

实时

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/VerhoefLH06型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/VerhoefLH06
马塞尔·韦霍夫,彼得·戈姆·拉森,乔泽夫·胡曼:
使用VDM++对分布式嵌入式实时系统进行建模和验证。 147-162
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/BotaschanjanGHKST06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/BotaschanjanGHKST06
Jewgenij Botaschanjan先生,亚历山大·格拉勒,亚历山大·哈胡林,列昂尼德·科夫,玛丽亚·斯皮奇科娃,大卫·特雷希特纳兹:
分布式时间触发系统的模块化验证。 163-178

行业经验

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/巴赫里尼FTZ06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/BacheriniFTZ06
斯特凡诺·巴赫里尼,亚历山德罗·范泰奇,马泰奥·坦佩斯蒂尼,尼科洛·津戈尼:
关于铁路信号制造商采用正式方法的故事。 179-189
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/ZhengWWX06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/ZhengWWX06
郑宇军（Yujun Zheng）,王金泉,Kan Wang（音译）,薛锦云:
将形式化方法部分引入面向对象开发：使用度量驱动方法的案例研究。 190-204

规范和细化

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/McCombS06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/McCombS06网站
蒂姆·麦库姆,格雷姆·史密斯:
Object-Z中的合成类精化。 205-220
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/EvansB06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/EvansB06
尼尔·埃文斯,迈克尔·巴特勒:
事件B中记录的建议。 221-235
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/奥利维拉R06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/OliveiraR06
何塞·努诺·奥利维拉,塞萨尔·耶稣·罗德里格斯:
操作优化的无点因子分解。 236-251
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/AmalioSP06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/AmalioSP06
努诺·阿马里奥,苏珊·斯蒂芬尼,菲奥娜·波拉克:
支持元证明的正式模板语言。 252-267

编程语言

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/Kassios06公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/Kassios06
Ioannis T.Kassios公司:
动态框架：支持框架、依赖和无限制共享。 268-283
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/CunhaOV06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/CunhaOV06网址
阿尔西诺库尼亚,何塞·努诺·奥利维拉,Joost遮阳板:
类型安全的两级数据转换。 284-299

代数

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/HofnerKM06公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/HofnerKM06网址
彼得·霍夫纳,里达·凯德里,伯恩哈德·莫勒:
特征代数。 300-315

教育类

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/布特06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/Boute06网址
雷蒙德·布特:
使用领域无关问题引入形式化方法。 316-331

系统的形式化建模

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/Zave06号机组
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/Zave06网址
帕梅拉·扎夫:
网络域中的组合绑定。 332-347
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/LangariT06公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/LangariT06
扎林·兰加里,理查德·特雷弗:
通过图变换对通信协议进行形式化建模。 348-363
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/AiguierBG06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/AiguierBG06
马克·艾基尔,卡里姆·贝尔卡尼,帕斯卡尔·勒加尔:
交互解析的功能规范和静态分析。 364-379
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/LundS06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/LundS06
大量售出肺部,凯蒂尔·斯特伦:
UML2.0序列图的一个完全通用的操作语义，具有潜在的和强制性的选择。 380-395

Java的形式方面

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/LiHR06文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/LiHR06
辛莉（Xin Li）,H.詹姆斯·胡佛,彼得罗·鲁德尼基:
走向自动例外安全验证。 396-411
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/ArthoBH06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/ArthoBH06
西里尔·阿瑟,阿明·比尔,Shinichi Honiden公司:
Enforcer-高效故障注入。 412-427
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/花束DL06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/BouquetDL06
织物花束,弗雷德里克·达多,布鲁诺传奇:
根据JML规范自动生成边界测试。 428-443
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/莫斯托夫斯基06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/莫斯托夫斯基06
沃伊西奇·莫斯托夫斯基:
动态逻辑中非原子Java卡方法的形式化推理。 444-459

编程语言

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/BlazyDL06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/BlazyDL06
桑德琳·布莱兹,扎伊娜·达盖伊,泽维尔·勒罗伊:
C编译器前端的形式验证。 460-475
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/HuynhR06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/HuynhR06
阮广惠（Thuan Quang Huynh）,阿比克·罗伊乔杜里:
C#内存模型敏感检查器。 476-491
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/BannwartM06公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/BannwartM06
费比安·班瓦特,彼得·米勒:
正确更改程序：使用规范重构。 492-507
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/Preoteasa06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/Preoteasa06网站
紫罗兰Preoteasa:
使用分离逻辑操作指针的递归过程的机械验证。 508-523

模型检查

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/JohnstonWBSR06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/JohnstonWBSR06
温迪·约翰斯顿,克里斯汀·温特,莱昂内尔·范登伯格,保罗·斯特罗珀,彼得·罗宾逊:
用于有效符号模型检查的基于模型的变量和转换顺序。 524-540
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/唐纳森M06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/DonaldsonM06
阿拉斯泰尔·唐纳森,爱丽丝·米勒:
模型检查中对称性简化的精确和近似策略。 541-556
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/GenonMM06公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/GenonMM06网址
亚历山德雷·基南,蒂埃里·马萨特,塞德里克·梅特尔:
监控分布式控制器：当需要对序列使用高效的LTL算法来对跟踪进行建模检查时。 557-572
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/普努利Z06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/PnueliZ06网址
阿米尔·普努利,亚历山大·扎克斯:
通过测试仪进行PSL模型检查和运行时验证。 573-586

工业日：应邀会谈摘要

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/Stephan06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/Stephan06网址
沃纳·斯蒂芬:
安全性的正式方法：轻量级插件或新的工程学科。 587-591
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/Oheimb06型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/Oheimb06
大卫·冯·奥海姆:
证券业的正规方法：异国情调的花朵在不断扩大的利基中茁壮成长。 592-597
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/巴甫洛维奇06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/Pavlovic06网址
达斯科·巴甫洛维奇:
基于连接器的软件开发：衍生安全协议。 598-599
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/Jurjens06公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/Jurjens06网址
扬·朱尔扬（Jan Jürjens）:
基于模型的Real安全工程。 600-606
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/Johnson06公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/Johnson06网址
D.伦道夫·约翰逊:
安全性的成本效益软件工程。 607-611
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/背面PW06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/BackesPW06
迈克尔·巴克斯,比吉特·普菲茨曼,迈克尔·韦德纳:
形式方法和密码学。 612-616
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/Woodcock06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/Woodcock06网址
吉姆·伍德科克:
验证软件大挑战。 617-617

管理网站设置

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