停止战争！

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

对于科学家：

默认搜索操作

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

问别人

FME 2003：意大利比萨

>主页 >会议和研讨会 >失效模式与后果

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/2003年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/2003
荒木圭次郎,斯蒂芬妮娅·格内西,迪诺·曼德里奥利:
FME 2003：形式方法，欧洲形式方法国际研讨会，意大利比萨，2003年9月8日至14日，会议记录。计算机科学课堂讲稿2805,施普林格 2003，国际标准图书编号3-540-40828-2

受邀演讲人

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/Kishida03号机组
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/Kishida03网址
Kouichi Kishida先生:
回顾未来：关于软件开发范式转变的思考。 1-6
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/SawadaKF03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/SawadaKF03
佐田俊美,Kouichi Kishida先生,Kokichi Futatsugi公司:
CafeOBJ SRA实施的过去、现在和未来：附件。 7-17
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/兰德尔03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/兰德尔03
布莱恩·兰德尔:
关于故障和故障。 18-39
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/Holzmann03型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/Holzmann03网址
杰拉德·J·霍尔兹曼:
软件验证趋势。 40-50
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/Abrial03型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/Abrial03网址
珍妮·雷蒙德·阿布里尔:
基于事件的顺序程序开发：在构建指针程序中的应用。 51-74

I-天

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/MillerTH03型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/MillerTH03网址
史蒂文·米勒,艾伦·C·特里布尔,艾瑞克·海姆达尔的垫子:
证明页岩。 75-93
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/BertBPRV03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/BertBPRV03
迪迪埃·伯特,西尔万·博尔梅,玛丽·劳雷·波特,安托万重奏,洛朗·沃辛:
B规范到嵌入式C程序的自适应转换器。 94-113
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/比较IPS03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/CompareIPS03
丹尼尔比较,保拉·因弗拉迪,Patrizio Pelliccione公司,亚历山德拉·塞巴斯蒂亚尼:
在真实软件生命周期中集成模型检查体系结构分析和验证。 114-132
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/WassyngL03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/WassyngL03
阿兰·瓦辛格,马克·劳福德:
在工业项目中成功实施形式化方法的经验教训。 133-153

控制系统和工业应用

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/海耶斯JJ03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/HayesJJ03
伊恩·海耶斯,迈克尔·杰克逊,克利夫·琼斯:
根据控制系统的环境规格确定控制系统的规格。 154-169
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/StidolphW03型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/StidolphW03
唐娜·C·斯蒂多夫,小E·詹姆斯·怀特黑德。:
考虑和使用正式方法的管理问题。 170-186
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/Fidge03文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/Fidge03网站
科林·菲奇:
验证遗留任务计算机系统的仿真。 187-207
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/BozzanoCCVV03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/BozzanoCCVV03
马可·波扎诺,安东内拉·卡瓦洛,马西莫·西法尔迪,劳拉·瓦拉卡,阿道夫·维拉菲奥里塔:
改进复杂系统的安全评估：工业案例研究。 208-222

通信系统验证

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/Rusu03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/Rusu03网站
弗拉德·鲁苏:
ATM协议的组合验证。 223-243
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/Henderson公司03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/Henderson03网址
尼尔·亨德森:
用断言可靠性保证证明方法证明Simpson四槽ACM的正确性。 244-263
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/BoyerS03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/BoyerS03
马克·博伊尔,米哈拉·西希雷亚努:
PGM协议中约束的合成和验证。 264-281

共同指定和编译器

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/秦C03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/QinC03
秦盛超,魏恩甘钦:
将状态图映射到Verilog以实现硬件/软件共同指定。 282-300
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/DuranCS03文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/DuranCS03
阿道夫·杜兰,安娜·卡瓦尔坎蒂,奥古斯托·桑帕约:
编译类、继承和动态绑定的策略。 301-320

组成

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/QinDC03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/QinDC03
秦盛超,金松洞,魏恩甘钦:
TCOZ在统一编程理论中的语义基础。 321-340
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/库什纳伦科L03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/库什纳伦科L03
奥尔加·库什纳伦科,阿诺德·拉诺伊斯:
基于同步组件的系统的改进和验证。 341-358
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/RosuELM03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/RosuELM03
格里戈·罗苏,史蒂文·艾克,帕特里克·林肯,何塞·梅塞盖尔:
认证和综合成员资格赤道证明。 359-380
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/BeekK03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/BeekK03
莫里斯·特尔·比克,克莱因码头:
满足成分的团队自动化。 381-400
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/Charpentier03公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/Charpentier03网址
米歇尔·夏彭蒂尔:
编写不变量。 401-421

Java、面向对象和模块化

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/BurdyRL03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/BurdyRL03网址
莉莲·伯迪,安托万重奏,Jean-Louis Lanet女士:
Java Applet正确性：一种面向开发人员的方法。 422-439
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/查林03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/Chalin03网址
帕特里斯·沙林:
改进JML：为了一种更安全、更有效的语言。 440-461
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/Lettrari03公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/Lettrari03网站
马克·莱特拉里:
使用抽象进行反应性面向对象系统的启发式状态空间探索。 462-481
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/MarinescuR03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/MarinescuR03
玛丽亚·克里斯蒂娜V.马林内斯库,马丁·里纳德:
模块化同步系统设计的形式化框架。 482-502

模型检查

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/GurfinkelC03公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/GurfinkelC03
阿里·古芬克尔,玛莎·切奇克:
生成多值模型检查的反例。 503-521
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/Schafer03公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/Schafer03网址
安德烈亚斯·施费尔:
结合实时模型检查和故障树分析。 522-541
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/MorzentiPPS03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/MorzentiPPS03
安吉洛·莫泽蒂（Angelo Morzenti）,马泰奥·普拉德拉,皮埃尔路易吉·圣彼得罗,保拉·斯波莱蒂尼:
SPIN中的模型检查TRIO规范。 542-561
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/MussetR03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/MussetR03
朱利安·穆塞特,米夏·鲁西诺维奇:
用多项式计算线性过渡系统的元变换。 562-581
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/XieBK03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/XieBK03网站
费雪,詹姆斯·布朗,罗伯特·P·库尔尚:
软件系统中基于翻译的合成推理。 582-599
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/GoldsmithMRWZ03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/GoldsmithMRWZ03
迈克尔·戈德史密斯,尼克·莫法特,比尔·罗斯科,蒂姆·惠特沃思,伊尔凡·扎基乌丁:
面向属性的模型检查的看门狗转换。 600-616

并行进程

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/AtiyaKW03会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/AtiyaKW03
Diyaa-Addein Atiya公司,斯蒂夫·金,吉姆·伍德科克:
Ravenscar保护对象的Circus语义。 617-635
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/Fenkam公司GJ03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/FenkamGJ03
帕斯卡·芬卡姆,哈拉尔德·加尔,梅迪·贾萨耶里:
构建无死锁的基于事件的应用程序：依赖/保证方法。 636-657
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/AldiniB03型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/AldiniB03
亚历山德罗·阿尔迪尼,马可·贝尔纳多:
软件架构死锁自由验证的一般方法。 658-677
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/FriasPBAM03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/FriasPBAM03
马塞洛·F·弗里亚斯,卡洛斯·洛佩斯·蓬博,加布里埃尔·鲍姆,纳扎雷诺·阿吉雷,T.S.E.Maibaum公司:
拿合金看电影。 678-697
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/KuhnO03公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/KuhnO03
托马斯·库恩,大卫·冯·奥海姆:
用于移动性的交互状态机。 698-718
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/TengT03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/TengT03
杰文登,Yih-Kuen Tsay先生:
使用机器辅助编写时间逻辑规范。 719-738

程序检查和测试

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 会议/形式/周四S03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/ThumsS03
安德烈亚斯·图姆斯,Gerhard Schellhorn公司:
模型检查FTA。 739-757
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/Glesner03公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/Glesner03
萨宾·格莱斯纳:
用证书检查程序：分离正确性-关键代码。 758-777
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/花束L03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/布奎特L03
织物花束,布鲁诺传奇:
基于形式规范的测试生成中可执行测试脚本的具体化：Java卡事务机制案例研究。 778-795
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/DongSW03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/DongSW03
金松洞,孙晶（音译）,王海宏（Hai H.Wang）:
通过Alloy检查和推理语义Web。 796-813

B方法

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/PoppletonB03文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/PoppletonB03
迈克尔·波普莱顿,理查德·巴纳赫:
通过分解构造B中的收缩。 814-833
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/MammarL03型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/MammarL03网站
阿梅尔·马玛,雷金·拉劳:
设计一个专用于数据库应用程序优化的自动校准器。 834-854
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/LeuschelB03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/LeuschelB03
迈克尔·勒谢尔,迈克尔·巴特勒:
ProB：B的模型检查器。 855-874

安全

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/ArmandoCG03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/ArmandoCG03
亚历山德罗·阿曼多,卢卡·孔帕尼亚,皮埃尔·甘蒂:
基于SAT的安全协议模型检查（使用规划图分析）。 875-893
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/丹尼F03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/DenneyF03
埃文·丹尼,伯恩德·菲舍尔:
源头安全政策的正确性。 894-913
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/维格纳03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/Vigna03网址
乔瓦尼·维格纳:
TCP/IP安全的拓扑特征。 914-939

服务

管理网站设置

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