默认搜索操作

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

问别人

伊丽莎白·A·斯特伦克

>主页 >珀森斯

人员信息

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2000 – 2009

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2008
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/es/StrunkK08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/es/StrunkK08
伊丽莎白·A·斯特伦克,约翰·C·奈特:
问题框架和保证案例的基本综合。专家系统。J.知道。工程师。 25(1):9-27(2008)
2007
[第10条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/dsn/Graydon KS07公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dsn/GraydonKS07
帕特里克·J·格雷登,约翰·C·奈特,伊丽莎白·A·斯特伦克:
基于保证的关键系统开发。 DSN（DSN） 2007:347-357
2006
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tdsc/StrunkK06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tdsc/StrunkK06
伊丽莎白·A·斯特伦克,约翰·C·奈特:
通过嵌入式系统软件中的有保证重构实现可靠性。 IEEE传输。可靠的安全。计算。三(三):172-187(2006)
【c9】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icse/StrunkK06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icse/StrunkK06
伊丽莎白·A·斯特伦克,约翰·C·奈特:
问题框架和保证案例的基本综合。 IWAAPF@ICSE 2006:81-86
【c8】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icse/GraydonKS06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icse/GraydonKS06
帕特里克·J·格雷登,约翰·C·奈特,伊丽莎白·A·斯特伦克:
通过架构和保证案例的协同开发实现可靠系统。 WADS公司 2006:362-382
2005
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/dsn/StrunkKA05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dsn/StrunkKA05
伊丽莎白·A·斯特伦克,约翰·C·奈特,安东尼·艾罗先生:
确保故障停机系统的重新配置。 DSN（DSN） 2005:2-11
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmics/Strunk0K05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmics/Strunk0K05
伊丽莎白·A·斯特伦克,向寅,约翰·C·奈特:
Echo：一种实用的形式验证方法。飞行管理信息系统 2005:44-53
2004
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/dsn/StrunkK04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dsn/StrunkK04
伊丽莎白·A·斯特伦克,约翰·C·奈特:
嵌入式实时软件的有保证的重新配置。 DSN（DSN） 2004:367-376
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifip13/GreenwellSK04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifip13/GreenwellSK04
威廉·格林威尔,伊丽莎白·A·斯特伦克,约翰·C·奈特:
故障分析和安全案例生命周期。人为错误、安全和系统开发 2004:163-176
2003
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/disex/KnightSS03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/discex/KnightSS03
约翰·C·奈特,伊丽莎白·A·斯特伦克,凯文·沙利文:
信息系统生存能力的严格定义。 DISCEX（1）公司 2003:78-89
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icse/KnightS03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icse/KnightS03
约翰·C·奈特,伊丽莎白·A·斯特伦克:
通过软件架构实现关键系统的生存能力。 WADS公司 2003:51-78
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/WassonKST03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/WassonKST03
金伯利·S·沃森,约翰·C·奈特,伊丽莎白·A·斯特伦克,肖恩·特拉维斯:
支持高后果系统开发中关键领域知识交流的工具。 SAFECOMP公司 2003:317-330

管理网站设置

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