RV-ECU: Maximum Assurance In-Vehicle Safety Monitoring
RV-ECU: Maximum Assurance In-Vehicle Safety Monitoring
复制标题
RV-ECU：最大程度保证车内安全监控
DOI：
10.4271/2016-01-0126
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
Rosu, Grigore
中科院分区：
文献类型：
--
作者：
Daian, Philip;Shiraishi, Shinichi;Iwai, Akihito;Manja, Bhargava;Rosu, Grigore
登录
查看更多内容
基于重写的访问控制策略规范
DOI：
--
发表时间：
2008
期刊：
SecReT@LICS/CSF
影响因子：
--
作者：
Horatiu Cirstea;Pierre;Anderson Santana de Oliveira
通讯作者：
Anderson Santana de Oliveira
DOI：
--
发表时间：
2013
期刊：
2013 Sixth Latin-American Symposium on Dependable Computing
影响因子：
--
作者：
Diogo Behrens;Stefan Weigert;C. Fetzer
通讯作者：
C. Fetzer
DOI：
10.1007/978-3-540-24622-0_17
发表时间：
2004-01
期刊：
--
影响因子：
--
作者：
D. Engler;M. Musuvathi
通讯作者：
D. Engler;M. Musuvathi
多线程 Java 的安全监视器内联
DOI：
--
发表时间：
2009
期刊：
European Conference on Object-Oriented Programming
影响因子：
--
作者：
M. Dam;B. Jacobs;Andreas Lundblad;Frank Piessens
通讯作者：
Frank Piessens
CompCert C 验证编译器
DOI：
--
发表时间：
2015
期刊：
影响因子：
--
作者：
X. Leroy;Inria Paris
通讯作者：
Inria Paris