iBet uBet web content aggregator. Adding the entire web to your favor.

Link to original content: https://dblp.org/rec/journals/systems/MengLSMISPPHAYV21.nt

. . . . "Baoluo Meng et al.: VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System. (2021)" . . _:ID_ce9bb852138d245760509a1af68e2bd8 . _:ID_ce9bb852138d245760509a1af68e2bd8 . _:ID_ce9bb852138d245760509a1af68e2bd8 . _:ID_ce9bb852138d245760509a1af68e2bd8 . _:ID_ce9bb852138d245760509a1af68e2bd8 "journals/systems/MengLSMISPPHAYV21" . _:ID_bc2ef0c80937dc54fd15bc8820edadfc . _:ID_bc2ef0c80937dc54fd15bc8820edadfc . _:ID_bc2ef0c80937dc54fd15bc8820edadfc . _:ID_bc2ef0c80937dc54fd15bc8820edadfc . _:ID_bc2ef0c80937dc54fd15bc8820edadfc "10.3390/SYSTEMS9010018" . "VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System." . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . "15"^^ . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_1 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_1 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_1 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_1 "Baoluo Meng" . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_1 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_1 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_1 "1"^^ . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_1 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_2 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_2 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_2 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_2 "Daniel Larraz" . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_2 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_2 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_2 "2"^^ . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_2 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_3 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_3 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_3 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_3 "Kit Siu" . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_3 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_3 "3"^^ . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_3 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_4 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_4 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_4 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_4 "Abha Moitra" . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_4 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_4 "4"^^ . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_4 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_5 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_5 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_5 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_5 "John Interrante" . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_5 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_5 "5"^^ . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_5 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_6 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_6 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_6 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_6 "William Smith" . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_6 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_6 "6"^^ . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_6 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_7 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_7 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_7 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_7 "Saswata Paul" . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_7 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_7 "7"^^ . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_7 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_8 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_8 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_8 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_8 "Daniel Prince" . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_8 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_8 "8"^^ . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_8 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_9 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_9 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_9 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_9 "Heber Herencia-Zapana" . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_9 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_9 "9"^^ . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_9 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_10 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_10 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_10 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_10 "M. Fareed Arif" . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_10 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_10 "10"^^ . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_10 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_11 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_11 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_11 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_11 "Moosa Yahyazadeh" . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_11 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_11 "11"^^ . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_11 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_12 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_12 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_12 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_12 "Vidhya Tekken Valapil" . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_12 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_12 "12"^^ . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_12 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_13 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_13 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_13 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_13 "Michael Durling" . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_13 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_13 "13"^^ . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_13 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_14 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_14 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_14 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_14 "Cesare Tinelli" . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_14 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_14 "14"^^ . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_14 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_15 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_15 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_15 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_15 "Omar Chowdhury" . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_15 . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_15 "15"^^ . _:Sig_5da77a70dd6f999bef5c5c39c070a11c_15 . . . . . "18" . "Syst." . "Syst." . "9" . "1" . "2021"^^ . "provenance information for RDF data of dblp record 'journals/systems/MengLSMISPPHAYV21'" . . . . "2023-09-30T10:27:28+0200" .