@前缀xsd:.@前缀rdf：.@前缀rdfs：.@前缀owl:.@前缀bf：.@前缀bibo:.@前缀bibtex：.@前缀cito：.@前缀datacite：.@前缀dbo:.@前缀dc:.@前缀dct：.@前缀foaf:.@前缀升：.@前缀locid：.@前缀locrel:.@前缀架构：.@前缀wd:.@前缀wdt:.@前缀dblp:.猫头鹰：相同.猫头鹰：相同，;rdfs:label“Joseba Andoni Agirre等人：VALU3S ECSEL项目：自动化系统安全和安保的验证和验证。（2021）”；dblp:doi，;数据引用：hasIdentifier[datacite:usesIdentifierScheme datacite:dblp记录；升：hasLiteralValue“期刊/mam/AgirreEBBGBFEOOPPSTSTBYS21”；数据引用：ResourceIdentifier], [datacite:usesIdentifierScheme数据引用：doi；升：hasLiteralValue“10.1016/J.MICPRO.2021.04349”；数据引用：ResourceIdentifier] ;dblp:title“VALU3S ECSEL项目：自动化系统安全和安保的验证和确认”；dblp:bibtexType bibtex：文章；dblp:作者，，，，，，，，，，，，，，，，，，;dblp:numberOfCreator 19；dblp:hasSignature（签名）[dblp:signatureDblpName“Joseba Andoni Agirre”；dblp:signatureCreator;dblp：签名序号1；dblp:签名发布;a dblp:作者签名], [dblp:signatureDblpName“Leire Etxeberria”；dblp:signatureCreator;dblp：签名序号2；dblp:签名发布;a dblp:作者签名], [dblp:signatureDblpName“劳尔·巴博萨”；dblp:signatureCreator;dblp:签名Orcid;dblp：签名序号3；dblp:签名发布;a dblp:作者签名], [dblp:signatureDblpName“Stylianos Basagiannis”；dblp:signatureCreator;dblp:签名Orcid;dblp：签名序号4；dblp:签名发布;a dblp:作者签名], [dblp:signatureDblpName“Georgios Giantamidis”；dblp:signatureCreator;dblp:符号序号5；dblp:签名发布;a dblp:作者签名], [dblp:signatureDblpName“Thomas Bauer 0002”；dblp:signatureCreator;dblp:签名Orcid;dblp：签名序号6；dblp:签名发布;a dblp:作者签名], [dblp:signatureDblpName“Enrico Ferrari”；dblp:signatureCreator;dblp:签名Orcid;dblp：签名序号7；dblp:签名发布;a dblp:作者签名], [dblp:signatureDblpName“Mikel Labayen Esnaola”；dblp:signatureCreator;dblp:签名Orcid;dblp:符号序号8；dblp:签名发布;a dblp:作者签名], [dblp:signatureDblpName“Vanessa Orani”；dblp:signatureCreator;dblp:签名Orcid;dblp：签名序号9；dblp:签名发布;a dblp:作者签名], [dblp:signatureDblpName“Johnny\u00D6berg”；dblp:signatureCreator;dblp：签名序号10；dblp:签名发布;a dblp:作者签名], [dblp:signatureDblpName“David Pereira”；dblp:signatureCreator;dblp:签名Orcid;dblp：签名序号11；dblp:签名发布;a dblp:作者签名], [dblp:signatureDblpName“Jos\u00E9 Proen\u00E7a”；dblp:signatureCreator;dblp：签名序号12；dblp:签名发布;a dblp:作者签名], [dblp:signatureDblpName“Rupert Schlick”；dblp:signatureCreator;dblp：签名序号13；dblp:签名发布;a dblp:作者签名], [dblp:signatureDblpName“Ales Smrcka”；dblp:signatureCreator;dblp：签名序号14；dblp:签名发布;a dblp:作者签名], [dblp:signatureDblpName“Walter Tiberti”；dblp:signatureCreator;dblp:签名Orcid;dblp：签名序号15；dblp:签名发布;a dblp:作者签名], [dblp:signatureDblpName“Stefano Tonetta”；dblp:signatureCreator;dblp：签名序号16；dblp:签名发布;a dblp:作者签名], [dblp:signatureDblpName“Marco Bozzano”；dblp:signatureCreator;dblp：签名序号17；dblp:签名发布;a dblp:作者签名], [dblp:signatureDblpName“Ahmet Yazici”；dblp:signatureCreator;dblp：签名序号18；dblp:签名发布;a dblp:作者签名], [dblp:signatureDblpName“Behrooz Sangchoolie”；dblp:signatureCreator;dblp:签名Orcid;dblp：签名序号19；dblp:签名发布;a dblp:作者签名] ;dblp:primaryDocumentPage（主文档页）;dblp:documentPage;dblp:在TocPage上列出;dblp：分页“104349”；dblp：发布于“Microprocess.Microsystems”；dblp:publishedInJournal“Microprocess.Microsystems”；dblp:publishedInJournalVolume“87”；dblp:出版年份“2021”^^;dblp:发布月份“--11”^^;a dblp:出版物，dblp:文章。rdfs：label“dblp记录'journals/mam/AgireBBGBBFEOOPSSTTBYS21'的RDF数据的起源信息”；dct:创建者;dct：是的一部分;dct：修改“2023-12-21T07:56:12+0100”；dct：许可证.