停止战争！

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

对于科学家：

默认搜索操作

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

问别人

2010年高安全应用微处理器系统的设计和验证

>主页 >（缺少标签）

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - books/sp/2010H
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/books/sp/2010H
大卫·S·哈丁:
高安全应用微处理器系统的设计和验证。施普林格 2010，十亿978-1-4419-1538-2
- 看法
  权限控制：
- 出口记录
  dblp键：
  - books/sp/10/KaufmannM10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/books/sp/10/KaufmannM10
马特·考夫曼,J斯特罗瑟·摩尔:
ACL2及其在数字系统验证中的应用。 1-21
- 看法
  权限控制：
- 出口记录
  dblp键：
  - books/sp/10/Russinoff10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/books/sp/10/Russinoff10
大卫·M·拉辛诺夫:
经机械验证的商用SRT分隔器。 23-63
- 看法
  权限控制：
- 出口记录
  dblp键：
  - books/sp/10/HuntSDS10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/books/sp/10/HuntSDS10
沃伦·亨特（Warren A.Hunt Jr.）。,索尔剑,杰瑞德·戴维斯,安娜·斯洛博多娃:
半人马座技术正式验证的使用。 65-88
- 看法
  权限控制：
- 出口记录
  dblp键：
  - books/sp/10/BrowningW10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/books/sp/10/BrowningW10
莎莉·布朗宁,菲利普·韦弗:
使用加密设计可调、可验证的加密硬件。 89-143
- 看法
  权限控制：
- 出口记录
  dblp键：
  - books/sp/10/ManoliosS10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/books/sp/10/ManoliosS10
Manolios帕纳焦蒂斯,苏达珊·斯里尼瓦桑:
使用BAT验证管道。 145-174
- 看法
  权限控制：
- 出口记录
  dblp键：
  - books/sp/10/WildingGRH10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/books/sp/10/WildingGRH10
马修·威尔丁,大卫·A·格雷夫,雷蒙德·理查兹,大卫·S·哈丁:
AAMP7G微处理器分区管理的形式验证。 175-191
- 看法
  权限控制：
- 出口记录
  dblp键：
  - books/sp/10/SlindLO10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/books/sp/10/SlindLO10
康拉德·斯林德,李国栋,斯科特·欧文斯:
通过证明编译高阶逻辑。 193-220
- 看法
  权限控制：
- 出口记录
  dblp键：
  - books/sp/10/FoxGM10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/books/sp/10/FoxGM10
安东尼·福克斯,迈克尔·J·C·戈登,马格努斯·奥·米林:
ARM硬件和软件的规范和验证。 221-247
- 看法
  权限控制：
- 出口记录
  dblp键：
  - books/sp/10/Greve10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/books/sp/10/Greve10
大卫·A·格雷夫:
信息安全建模与分析。 249-299
- 看法
  权限控制：
- 出口记录
  dblp键：
  - books/sp/10/Richards10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/books/sp/10/Richards10
雷蒙德·理查兹:
一个商业实时操作系统内核的建模与安全分析。 301-322
- 看法
  权限控制：
- 出口记录
  dblp键：
  - books/sp/10/KleinSW10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/books/sp/10/KleinSW10
格温·克莱因,托马斯·苏厄尔,西蒙·温伍德:
seL4微内核形式化验证的改进。 323-339
- 看法
  权限控制：
- 出口记录
  dblp键：
  - books/sp/10/AmtoftHRRHG10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/books/sp/10/AmtoftHRRHG10
托本·阿姆托夫特,约翰·哈特克利夫,埃德温·罗德里格斯,罗比,乔纳森·霍格,大卫·A·格雷夫:
条件信息流软件合同的规范和检查。 341-379
- 看法
  权限控制：
- 出口记录
  dblp键：
  - books/sp/10/WhalenGW10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/books/sp/10/WhalenGW10
迈克尔·沃伦,大卫·A·格雷夫,卢卡斯·瓦格纳:
模型检查信息流。 381-428

服务

管理网站设置

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