默认搜索操作

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

问别人

第17届SAFECOMP 1998：德国海德堡

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

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/1998
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/1998
沃尔夫冈·艾伦伯格:
《计算机安全、可靠性和安全》，第17届国际会议，1998年10月5日至7日，德国海德堡SAFECOMP'98，会议记录。计算机科学课堂讲稿1516,施普林格 1998，国际标准图书编号3-540-65110-1

形式化方法I-分析和规范

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/HollingworthS98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/HollingworthS98
凯文·霍林沃思,艾默·赛义德:
CoRSA——一种基于约束的需求和安全分析方法。 3-15
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/WinterSH98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/WinterSH98
克里斯汀·温特,托马斯·桑顿,玛丽塔·海塞尔:
指定具有复杂数据模型的软件组件的议程。 16-31
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/Rust98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/Rust98
海因里希铁锈:
生产单元组件的安全：结合正式实时规范和模式的方法。 32-44
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/DavidDLOHP98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/DavidDLOHP98
文森·大卫,让·德尔科因,伊芙琳·莱特,阿兰·乌尔甘利安（Alain Ourghanlian）,菲利普·希尔森科普夫,菲利普·巴黎:
安全关键实时系统的OASIS模型确保的安全属性。 45-59
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/LanoKS98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/LanoKS98
凯文·拉诺,菅直人,阿图罗·桑切斯:
将危险分析与B中的正式规范和设计联系起来。 60-74

管理和人为因素

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/Martin-VivaldiI98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/Martin-VivaldiI98
尼古拉斯·马丁·维瓦尔第,彼得·伊萨森:
通过软件过程控制设计。 77-88
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/Grams98文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/Grams98
Timm克:
操作员错误及其原因。 89-99

安全

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/HutchinsonW98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/HutchinsonW98
安德鲁·哈钦森,迈克尔·沃尔鲍姆:
组安全机制的性能比较。 103-116
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/IliadisGO98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/IliadisGO98
约翰·伊利亚迪斯,斯特凡诺斯·格里泽利斯,V.Oikonou（奥伊科诺莫）:
走向安全的可下载可执行内容：Java范式。 117-127
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/Dafelmair98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/Dafelmair98
费迪南德·达费尔梅尔:
关键任务软件安全软件开发过程的模型和实现。 128-142
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/JovalekicR98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/JovalekicR98
西尔维耶·乔瓦利基奇,伯恩德·里斯特:
面向对象软件工程应用于安全系统开发的影响。 143-155

医学信息学

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/MolK98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/MolK98
Bas A.de Mol乐队,Koornneef地板:
生物医学信息技术中的“安全获利”还是骗局？ 159-166

形式方法II——语言和验证

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/LiggesmeyerR98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/LiggesmeyerR98
彼得·利格斯迈耶,马丁·罗斯菲尔德:
走向故障安全行为的自动证明。 169-184
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/MerceronMP98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/MerceronMP98
阿加瑟·梅塞隆,莫妮卡·穆勒堡,G.米歇尔·平纳:
在多语言环境中验证时间触发协议。 185-195
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/HalangF98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/HalangF98
沃尔夫冈·哈朗,Alceu Heinke Frigeri公司:
安全相关实时编程的方法和语言。 196-208
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/Lindner98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/Lindner98
阿恩特·林德纳:
安全关键应用中的ANSI-C——从软件评估中吸取的教训。 209-217

应用

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/BertoliCGT98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/BertoliCGT98
皮埃尔吉奥·贝尔托利,亚历山德罗·西马蒂,福斯托·金奇利亚,保罗·特拉弗索:
计算机辅助开发工具安全性正式认证的结构化方法。 221-230
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/博洛尼亚BDMBPMK98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/博洛尼亚BDMBPMK98
桑德罗·博洛尼亚,洛科·博韦,乔瓦尼·迪波帕,乔治·蒙加迪,吉诺·比昂迪,卡门·波齐亚,本尼·格拉夫特·莫滕森,尼尔斯·柯克加德:
在工业中应用形式化方法UseGat项目。 231-242
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/RinglerSBH98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/RinglerSBH98
托马斯·林格,J.斯坦纳,拉尔夫·贝尔施纳,伯恩德·赫登茨:
通过使用时间触发体系结构提高车辆旁路应用的系统安全性。 243-253
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/KochsGHL98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/KochsGHL98
Hans-Dieter Kochs公司,沃尔特·盖塞尔哈德,霍尔格·希尔默,马蒂亚斯·伦诺德:
大型机械手中的容错通信。 254-266
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/DilgerFM98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/DilgerFM98
Elmar Dilger公司,托马斯·福勒,伯恩德·米勒:
车辆中的分布式容错和安全关键应用-时间触发方法。 267-283
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/CimattiGMRTT98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/CimattiGMRTT98
亚历山德罗·西马蒂,福斯托·金奇利亚,乔治·蒙加尔迪,达里奥·罗曼诺,费尔南多·托里埃利,保罗·特拉弗索:
SPIN模型检查安全关键软件：在铁路联锁系统中的应用。 284-295
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/DijkFKVV98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/DijkFKVV98
福克·范·迪克,万·J·福克金,Gea Kolk公司,保罗·范德文,巴斯·范·弗利杰曼:
EURIS，分布式联锁规范方法。 296-305
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/NowickiG98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/NowickiG98
巴托斯·诺维基,雅努斯·哥尔斯基:
超高压变电站间隔的面向对象安全分析。 306-315

形式化方法III-Petri网

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/Saglietti98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/Saglietti98（网址：https://dblp.org/rec/conf/safecomp/Saglietti98）
弗朗西丝卡·萨利埃蒂:
使用时间Petri网集成嵌入式系统的逻辑和物理属性。 319-328
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/Sacha98文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/Sacha98
Krzysztof Sacha公司:
使用结构化Petri网对软件进行安全验证。 329-342

可靠性

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/WongJ98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/WongJ98
Ken Wong先生,杰夫·乔伊斯:
将安全相关危险细化为可验证的代码断言。 345-358
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/KnegteringB98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/KnegteringB98
伯特·屈特林,阿诺特·布朗巴赫:
两种常用保障原则的概念比较。 359-368
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/SonneckSS98文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/SonneckSS98
杰拉尔德·桑内克,埃尔文·肖奇,洛伦佐·斯特里吉尼:
软件集成系统可靠性的整体观点。 369-379
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/Drechsler公司98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/Drechsler98
罗尔夫·德雷克斯勒:
验证决策图的完整性。 380-389

管理网站设置

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