BibTeX记录日志/mam/AgireEBBGBFEOOPPSSTTBYS21
@文章{DBLP:journals/mam/AgireBBGBBFEOOPPSSTTBYS21, author={Joseba Andoni Agirre和 Leire Etxeberria和 Raul Barbosa和 Stylianos Basagiannis和 乔治·吉安塔米迪斯和 托马斯·鲍尔和 Enrico Ferrari和 Mikel Labayen Esnaola和 Vanessa Orani和 约翰尼·博格和 David Pereira和 Jos{\'{e}}Proen{\c{c}}a和 鲁珀特·施利克和 Ales Smrcka和 Walter Tiberti和 斯特凡诺·托内塔和 Marco Bozzano和 Ahmet Yazici和 Behrooz Sangchoolie}, title={The{VALU3S}{ECSEL}项目:自动化的验证和确认 系统安全}, journal={Microprocess.Microsystems}, 体积={87}, 页数={104349}, 年份={2021}, url={ https://doi.org/10.1016/j.micpro.2021.104349 }, doi={10.1016/J.MICPRO.2021.104349}, timestamp={2023年12月21日星期四07:56:12+0100}, 比布尔={ https://dblp.org/rec/journals/mam/AgireBBGBBFEOOPSTTBYS21.bib }, bibsource={dblp计算机科学书目, 网址:https://dblp.org } }