. . . . . . “Marco Bozzano等人：使用正式方法进行航天器早期设计验证”（2014年）。 . . . _：ID_c3c1c9893c389f9a18eefa9540f69759。_：ID_c3c1c9893c389f9a18eefa9540f69759 ._：ID_c3c1c9893c389f9a18eefa9540f69759 ._：ID_c3c1c9893c389f9a18eefa9540f69759“日记账/ress/BozzanoCKKMNNPR14”。 _：ID_04857295b00609dda0fdab07f54cdc9d。_：ID_04857295b00609dda0fdab07f54cdc9d ._：ID_04857295b00609dda0fdab07f54cdc9d ._：ID_04857295b00609dda0fdab07f54cdc9d“10.1016/J.RESS.2014.07.003”。 _：ID_189df22af5438e21f845d90a56736aa0。_：ID_189df22af5438e21f845d90a56736aa0 ._：ID_189df22af5438e21f845d90a56736aa0 ._：ID_189df22af5438e21f845d90a56736aa0“Q57800907”。 “使用正式方法进行航天器早期设计验证”。 . . . . . . . . . . "9"^^. _：Sig_416283792218b756968fb48526d6af15_1。_：Sig_416283792218b756968fb48526d6af15_1 ._：Sig_416283792218b756968fb48526d6af15_1“马尔科·博扎诺”。_：Sig_416283792218b756968fb48526d6af15_1 ._：Sig_416283792218b756968fb48526d6af15_1 ._：Sig_416283792218b756968fb48526d6af15_1"1"^^._：Sig_416283792218b756968fb48526d6af15_1 . _：Sig_416283792218b756968fb48526d6af15_2。_：Sig_416283792218b756968fb48526d6af15_2 ._：Sig_416283792218b756968fb48526d6af15_2“亚历山德罗·西马蒂”。_：Sig_416283792218b756968fb48526d6af15_2 ._：Sig_416283792218b756968fb48526d6af15_2 ._：Sig_416283792218b756968fb48526d6af15_2“2”^^._：Sig_416283792218b756968fb48526d6af15_2 . _：Sig_416283792218b756968fb48526d6af15_3。_：Sig_416283792218b756968fb48526d6af15_3 ._：Sig_416283792218b756968fb48526d6af15_3“Joost-Pieter Katoen”。_：Sig_416283792218b756968fb48526d6af15_3 ._：Sig_416283792218b756968fb48526d6af15_3 ._：Sig_416283792218b756968fb48526d6af15_3"3"^^._：Sig_416283792218b756968fb48526d6af15_3 . _：Sig_416283792218b756968fb48526d6af15_4。_：Sig_416283792218b756968fb48526d6af15_4 ._：Sig_416283792218b756968fb48526d6af15_4“Panagiotis Katsaros”。_：Sig_416283792218b756968fb48526d6af15_4 ._：Sig_416283792218b756968fb48526d6af15_4 ._：Sig_416283792218b756968fb48526d6af15_4"4"^^._：Sig_416283792218b756968fb48526d6af15_4 . _：Sig_416283792218b756968fb48526d6af15_5。_：Sig_416283792218b756968fb48526d6af15_5 ._：Sig_416283792218b756968fb48526d6af15_5“Konstantinos Mokos”。_：Sig_416283792218b756968fb48526d6af15_5 ._：Sig_416283792218b756968fb48526d6af15_5"5"^^._：Sig_416283792218b756968fb48526d6af15_5 . _：Sig_416283792218b756968fb48526d6af15_6。_：信号_416283792218b756968fb48526d6af15_6 ._：Sig_416283792218b756968fb48526d6af15_6“越南元”。_：Sig_416283792218b756968fb48526d6af15_6 ._：Sig_416283792218b756968fb48526d6af15_6"6"^^._：Sig_416283792218b756968fb48526d6af15_6 . _：Sig_416283792218b756968fb48526d6af15_7。_：Sig_416283792218b756968fb48526d6af15_7 ._：Sig_416283792218b756968fb48526d6af15_7“托马斯·诺尔0001”。_：Sig_416283792218b756968fb48526d6af15_7 ._：Sig_416283792218b756968fb48526d6af15_7 ._：Sig_416283792218b756968fb48526d6af15_7"7"^^._：Sig_416283792218b756968fb48526d6af15_7 . _：Sig_416283792218b756968fb48526d6af15_8。_：Sig_416283792218b756968fb48526d6af15_8 ._：Sig_416283792218b756968fb48526d6af15_8“巴特·波斯玛”。_：Sig_416283792218b756968fb48526d6af15_8 ._：Sig_416283792218b756968fb48526d6af15_8"8"^^._：Sig_416283792218b756968fb48526d6af15_8 . _：Sig_416283792218b756968fb48526d6af15_9。_：Sig_416283792218b756968fb48526d6af15_9 ._：Sig_416283792218b756968fb48526d6af15_9“马可·罗维里”。_：Sig_416283792218b756968fb48526d6af15_9 ._：信号_416283792218b756968fb48526d6af15_9 ._：Sig_416283792218b756968fb48526d6af15_9"9"^^._：Sig_416283792218b756968fb48526d6af15_9 . . . . "20-35" . “可靠性工程系统安全”。 “可靠性工程系统安全”。 "132" . "2014"^^. “dblp记录'journals/ress/BozzanoCKKMNNPR14'的RDF数据的起源信息”。 . . . “2021-10-14T08:50:22+0200”。