. . . . . . “Marco Bozzano等人：AIR6110车轮制动系统的正式设计和安全分析（2015）”。 . . . _：ID_140ac30a7190011426b342de55864753。_：识别号_140ac30a7190011426b342de55864753 ._：ID_140ac30a7190011426b342de55864753 ._：ID_140ac30a7190011426b342de55864753“conf/cav/BozzanoCPJKPRT15”。 _：ID_1bb7e273e6a6bfd7d98b0bba635a492f。_：标识_1bb7e273e6a6bfd7d98b0bba635a492f ._：ID_1bb7e273e6a6bfd7d98b0bba635a492f ._：ID_1bb7e273e6a6bfd7d98b0bba635a492f"10.1007/978-3-319-21690-4_36" . _：ID_02d59d36dcdbea1bc9a12f52ba82dbde。_：ID_02d59d36dcdbea1bc9a12f52ba82dbde ._：ID_02d59d36dcdbea1bc9a12f52ba82dbde ._：ID_02d59d36dcdbea1bc9a12f52ba82dbde“Q6204117”。 “AIR6110车轮制动系统的形式化设计和安全性分析”。 . . . . . . . . . "8"^^. _：Sig_c6986e6c57a272d0d940ee403b98b90f_1。_：Sig_c6986e6c57a272d0d940ee403b98b90f_1 ._：Sig_c6986e6c57a272d0d940ee403b98b90f_1“马尔科·博扎诺”。_：Sig_c6986e6c57a272d0d940ee403b98b90f_1 ._：Sig_c6986e6c57a272d0d940ee403b98b90f_1"1"^^._：Sig_c6986e6c57a272d0d940ee403b98b90f_1 . _：Sig_c6986e6c57a272d0d940ee403b98b90f_2。_：Sig_c6986e6c57a272d0d940ee403b98b90f_2 ._：Sig_c6986e6c57a272d0d940ee403b98b90f_2“亚历山德罗·西马蒂”。_：Sig_c6986e6c57a272d0d940ee403b98b90f_2 ._：Sig_c6986e6c57a272d0d940ee403b98b90f_2 ._：Sig_c6986e6c57a272d0d940ee403b98b90f_2“2”^^._：Sig_c6986e6c57a272d0d940ee403b98b90f_2 . _：Sig_c6986e6c57a272d0d940ee403b98b90f_3。_：Sig_c6986e6c57a272d0d940ee403b98b90f_3 ._：Sig_c6986e6c57a272d0d940ee403b98b90f_3“安东尼·费尔南德斯·皮雷”。_：Sig_c6986e6c57a272d0d940ee403b98b90f_3 ._：Sig_c6986e6c57a272d0d940ee403b98b90f_3"3"^^._：Sig_c6986e6c57a272d0d940ee403b98b90f_3 . _：Sig_c6986e6c57a272d0d940ee403b98b90f_4。_：Sig_c6986e6c57a272d0d940ee403b98b90f_4 ._：Sig_c6986e6c57a272d0d940ee403b98b90f_4“大卫·琼斯”。_：Sig_c6986e6c57a272d0d940ee403b98b90f_4 ._：Sig_c6986e6c57a272d0d940ee403b98b90f_4"4"^^._：Sig_c6986e6c57a272d0d940ee403b98b90f_4 . _：Sig_c6986e6c57a272d0d940ee403b98b90f_5。_：Sig_c6986e6c57a272d0d940ee403b98b90f_5 ._：Sig_c6986e6c57a272d0d940ee403b98b90f_5“格雷格·金伯利”。_：Sig_c6986e6c57a272d0d940ee403b98b90f_5 ._：Sig_c6986e6c57a272d0d940ee403b98b90f_5"5"^^._：Sig_c6986e6c57a272d0d940ee403b98b90f_5 . _：Sig_c6986e6c57a272d0d940ee403b98b90f_6。_：Sig_c6986e6c57a272d0d940ee403b98b90f_6 ._：Sig_c6986e6c57a272d0d940ee403b98b90f_6“T.Petri”。_：Sig_c6986e6c57a272d0d940ee403b98b90f_6 ._：Sig_c6986e6c57a272d0d940ee403b98b90f_6"6"^^._：Sig_c6986e6c57a272d0d940ee403b98b90f_6 . _：Sig_c6986e6c57a272d0d940ee403b98b90f_7。_：Sig_c6986e6c57a272d0d940ee403b98b90f_7 ._：Sig_c6986e6c57a272d0d940ee403b98b90f_7“R.Robinson”。_：Sig_c6986e6c57a272d0d940ee403b98b90f_7 ._：Sig_c6986e6c57a272d0d940ee403b98b90f_7"7"^^._：Sig_c6986e6c57a272d0d940ee403b98b90f_7 . _：Sig_c6986e6c57a272d0d940ee403b98b90f_8。_：Sig_c6986e6c57a272d0d940ee403b98b90f_8 ._：Sig_c6986e6c57a272d0d940ee403b98b90f_8“斯特凡诺·托内塔”。_：Sig_c6986e6c57a272d0d940ee403b98b90f_8 ._：Sig_c6986e6c57a272d0d940ee403b98b90f_8"8"^^._：Sig_c6986e6c57a272d0d940ee403b98b90f_8 . . . . "518-535" . “CAV（1）”。 “CAV（1）”。 "2015"^^. "2015"^^. . “dblp记录'conf/cav/BozzanoCPJKPRT15'的RDF数据的来源信息”。 . . . “2021-04-20T16:21:19+0200”。