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



Link to original content: https://dblp.org/rec/conf/forte/BaoADFL19.nt
. . . . "Ran Bao et al.: Parametric Statistical Model Checking of UAV Flight Plan. (2019)" . . _:ID_0c41dd8f997326c265b1ecb7139b01c3 . _:ID_0c41dd8f997326c265b1ecb7139b01c3 . _:ID_0c41dd8f997326c265b1ecb7139b01c3 . _:ID_0c41dd8f997326c265b1ecb7139b01c3 . _:ID_0c41dd8f997326c265b1ecb7139b01c3 "conf/forte/BaoADFL19" . _:ID_284510613024243f5883fccf51d97212 . _:ID_284510613024243f5883fccf51d97212 . _:ID_284510613024243f5883fccf51d97212 . _:ID_284510613024243f5883fccf51d97212 . _:ID_284510613024243f5883fccf51d97212 "10.1007/978-3-030-21759-4_4" . "Parametric Statistical Model Checking of UAV Flight Plan." . . . . . . . . . . . . "5"^^ . _:Sig_290cae343c364a06827cbd5bb65e2507_1 . _:Sig_290cae343c364a06827cbd5bb65e2507_1 . _:Sig_290cae343c364a06827cbd5bb65e2507_1 . _:Sig_290cae343c364a06827cbd5bb65e2507_1 "Ran Bao" . _:Sig_290cae343c364a06827cbd5bb65e2507_1 . _:Sig_290cae343c364a06827cbd5bb65e2507_1 "1"^^ . _:Sig_290cae343c364a06827cbd5bb65e2507_1 . _:Sig_290cae343c364a06827cbd5bb65e2507_2 . _:Sig_290cae343c364a06827cbd5bb65e2507_2 . _:Sig_290cae343c364a06827cbd5bb65e2507_2 . _:Sig_290cae343c364a06827cbd5bb65e2507_2 "J. Christian Attiogb\u00E9" . _:Sig_290cae343c364a06827cbd5bb65e2507_2 . _:Sig_290cae343c364a06827cbd5bb65e2507_2 . _:Sig_290cae343c364a06827cbd5bb65e2507_2 "2"^^ . _:Sig_290cae343c364a06827cbd5bb65e2507_2 . _:Sig_290cae343c364a06827cbd5bb65e2507_3 . _:Sig_290cae343c364a06827cbd5bb65e2507_3 . _:Sig_290cae343c364a06827cbd5bb65e2507_3 . _:Sig_290cae343c364a06827cbd5bb65e2507_3 "Beno\u00EEt Delahaye" . _:Sig_290cae343c364a06827cbd5bb65e2507_3 . _:Sig_290cae343c364a06827cbd5bb65e2507_3 . _:Sig_290cae343c364a06827cbd5bb65e2507_3 "3"^^ . _:Sig_290cae343c364a06827cbd5bb65e2507_3 . _:Sig_290cae343c364a06827cbd5bb65e2507_4 . _:Sig_290cae343c364a06827cbd5bb65e2507_4 . _:Sig_290cae343c364a06827cbd5bb65e2507_4 . _:Sig_290cae343c364a06827cbd5bb65e2507_4 "Paulin Fournier" . _:Sig_290cae343c364a06827cbd5bb65e2507_4 . _:Sig_290cae343c364a06827cbd5bb65e2507_4 "4"^^ . _:Sig_290cae343c364a06827cbd5bb65e2507_4 . _:Sig_290cae343c364a06827cbd5bb65e2507_5 . _:Sig_290cae343c364a06827cbd5bb65e2507_5 . _:Sig_290cae343c364a06827cbd5bb65e2507_5 . _:Sig_290cae343c364a06827cbd5bb65e2507_5 "Didier Lime" . _:Sig_290cae343c364a06827cbd5bb65e2507_5 . _:Sig_290cae343c364a06827cbd5bb65e2507_5 . _:Sig_290cae343c364a06827cbd5bb65e2507_5 "5"^^ . _:Sig_290cae343c364a06827cbd5bb65e2507_5 . . . . . "57-74" . "FORTE" . "FORTE" . "2019"^^ . "2019"^^ . . "provenance information for RDF data of dblp record 'conf/forte/BaoADFL19'" . . . . "2019-10-19T20:07:32+0200" .