Marco Bozzano等人：车载自主验证和确认的综合方法。(2021) 期刊/tist/BozzanoCR21 10.1145/3472715 车载自主验证和确认的综合方法。 三 马可·波扎诺 1 亚历山德罗·西马蒂 2 马可·罗维里 三 46:1-46:29 ACM事务处理。因特尔。系统。Technol公司。 ACM事务处理。因特尔。系统。Technol公司。 12 4 2021 dblp记录“journals/tist/BozzanoCR21”的RDF数据的来源信息 2021-10-05T10:02:32+0200