. . . . . “Marco Bozzano和Adolfo Villafiorita：通过模型检查提高系统可靠性：FSAP/NuSMV-SA安全分析平台（2003）”。 . . _：ID_83765fd48684430dd4b37474f2dd7d0e。_：ID_83765fd48684430dd4b37474f2dd7d0e ._：ID_83765fd48684430dd4b37474f2dd7d0e ._：ID_83765fd48684430dd4b3774f2dd7d0e“conf/safecomp/BozzanoV03”。 _：ID_b2a3cb543182a38a24572a3733064e98。_：ID_b2a3cb543182a38a24572a3733064e98 ._：ID_b2a3cb543182a38a24572a3733064e98 ._：ID_b2a3cb543182a38a24572a3733064e98"10.1007/978-3-540-39878-3_5" . “通过模型检查提高系统可靠性：FSAP/NuSMV-SA安全分析平台”。 . . . “2”^^. _：Sig_46ceff92e20da251980c14334e66dc52_1。_：信号_46有效92e20da251980c14334e66dc52_1 ._：Sig_46ceff92e20da251980c14334e66dc52_1“马尔科·博扎诺”。_：Sig_46ceff92e20da251980c14334e66dc52_1 ._：Sig_46ceff92e20da251980c14334e66dc52_1"1"^^._：Sig_46ceff92e20da251980c14334e66dc52_1 . _：Sig_46ceff92e20da251980c14334e66dc52_2。_：Sig_46ceff92e20da251980c14334e66dc52_2 ._：Sig_46ceff92e20da251980c14334e66dc52_2“阿道夫·维拉菲奥里塔”。_：Sig_46ceff92e20da251980c14334e66dc52_2 ._：Sig_46ceff92e20da251980c14334e66dc52_2“2”^^._：Sig_46ceff92e20da251980c14334e66dc52_2 . . . . "49-62" . “SAFECOMP”。 “SAFECOMP”。 "2003"^^. "2003"^^. . “dblp记录'conf/safecomp/BozzanoV03'的RDF数据的来源信息”。 . . . “2017-05-26T00:49:42+0200”。