. . . . . . . “Naijun Zhan等人：Simulink/Stateflow图的形式验证，演绎方法（2017）”。 . . _：ID_e60ea6986052e984c603e2aea5ff3e43。_：ID_e60ea6986052e984c603e2aea5ff3e43 ._：ID_e60ea6986052e984c603e2aea5ff3e43 ._：ID_e60ea6986052e984c603e2aea5ff3e43“books/sp/17/ZWZ2017”。 _：ID_a975ac412e99bcc78b263d01e6633409。_：ID_a975ac412e99bcc78b263d01e6633409 ._：ID_a975ac412e99bcc78b263d01e6633409 ._：ID_a975ac412e99bcc78b263d01e6633409"10.1007/978-3-319-47016-0" . . _：ID_afd10f5a229c60ca8fc64b706848b589。_：ID_afd10f5a229c60ca8fc64b706848b589 ._：ID_afd10f5a229c60ca8fc64b706848b589 ._：ID_afd10f5a229c60ca8fc64b706848b589“9783319470146”。 . _：ID_afd10f5a229c60ca8fc64b706848b589。_：ID_afd10f5a229c60ca8fc64b706848b589 ._：ID_afd10f5a229c60ca8fc64b706848b589 ._：ID_afd10f5a229c60ca8fc64b706848b589"9783319470160" . “Simulink/Stateflow图的形式验证，演绎法。”。 . . . . "3"^^. _：Sig_845dcde8843eb540645309fec9eb09ff_1。_：信号_845dcde8843eb540645309fec9eb09ff_1 ._：Sig_845dcde8843eb540645309fec9eb09ff_1“Naijun Zhan”。_：Sig_845dcde8843eb540645309fec9eb09ff_1 ._：Sig_845dcde8843eb540645309fec9eb09ff_1"1"^^._：Sig_845dcde8843eb540645309fec9eb09ff_1 . _：Sig_845dcde8843eb540645309fec9eb09ff_2。_：Sig_845dcde8843eb540645309fec9eb09ff_2 ._：Sig_845dcde8843eb540645309fec9eb09ff_2“王树龄”。_：Sig_845dcde8843eb540645309fec9eb09ff_2 ._：Sig_845dcde8843eb540645309fec9eb09ff_2"2"^^._：Sig_845dcde8843eb540645309fec9eb09ff_2 . _：Sig_845dcde8843eb540645309fec9eb09ff_3。_：Sig_845dcde8843eb540645309fec9eb09ff_3 ._：Sig_845dcde8843eb540645309fec9eb09ff_3“赵恒军”。_：Sig_845dcde8843eb540645309fec9eb09ff_3 ._：Sig_845dcde8843eb540645309fec9eb09ff_3"3"^^._：Sig_845dcde8843eb540645309fec9eb09ff_3 . . . "2017"^^. “斯普林格”。 “dblp记录‘books/sp/17/ZWZ2017’的RDF数据的来源信息”。 . . . “2020-10-19T09:52:10+0200”。