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/ecbs/MalikTL10.nt
. . . . "Qaisar A. Malik et al.: Using UML Models and Formal Verification in Model-Based Testing. (2010)" . . _:ID_6be277cbeab1effb4bd7b3e2305e44ba . _:ID_6be277cbeab1effb4bd7b3e2305e44ba . _:ID_6be277cbeab1effb4bd7b3e2305e44ba . _:ID_6be277cbeab1effb4bd7b3e2305e44ba . _:ID_6be277cbeab1effb4bd7b3e2305e44ba "conf/ecbs/MalikTL10" . _:ID_2f497d74b8f8c33e6f3b1be2e7f7b851 . _:ID_2f497d74b8f8c33e6f3b1be2e7f7b851 . _:ID_2f497d74b8f8c33e6f3b1be2e7f7b851 . _:ID_2f497d74b8f8c33e6f3b1be2e7f7b851 . _:ID_2f497d74b8f8c33e6f3b1be2e7f7b851 "10.1109/ECBS.2010.13" . "Using UML Models and Formal Verification in Model-Based Testing." . . . . . . . . "3"^^ . _:Sig_0a319f1c0e9dbbb7ea26db32544a1076_1 . _:Sig_0a319f1c0e9dbbb7ea26db32544a1076_1 . _:Sig_0a319f1c0e9dbbb7ea26db32544a1076_1 . _:Sig_0a319f1c0e9dbbb7ea26db32544a1076_1 "Qaisar A. Malik" . _:Sig_0a319f1c0e9dbbb7ea26db32544a1076_1 . _:Sig_0a319f1c0e9dbbb7ea26db32544a1076_1 "1"^^ . _:Sig_0a319f1c0e9dbbb7ea26db32544a1076_1 . _:Sig_0a319f1c0e9dbbb7ea26db32544a1076_2 . _:Sig_0a319f1c0e9dbbb7ea26db32544a1076_2 . _:Sig_0a319f1c0e9dbbb7ea26db32544a1076_2 . _:Sig_0a319f1c0e9dbbb7ea26db32544a1076_2 "Dragos Truscan" . _:Sig_0a319f1c0e9dbbb7ea26db32544a1076_2 . _:Sig_0a319f1c0e9dbbb7ea26db32544a1076_2 . _:Sig_0a319f1c0e9dbbb7ea26db32544a1076_2 "2"^^ . _:Sig_0a319f1c0e9dbbb7ea26db32544a1076_2 . _:Sig_0a319f1c0e9dbbb7ea26db32544a1076_3 . _:Sig_0a319f1c0e9dbbb7ea26db32544a1076_3 . _:Sig_0a319f1c0e9dbbb7ea26db32544a1076_3 . _:Sig_0a319f1c0e9dbbb7ea26db32544a1076_3 "Johan Lilius" . _:Sig_0a319f1c0e9dbbb7ea26db32544a1076_3 . _:Sig_0a319f1c0e9dbbb7ea26db32544a1076_3 . _:Sig_0a319f1c0e9dbbb7ea26db32544a1076_3 "3"^^ . _:Sig_0a319f1c0e9dbbb7ea26db32544a1076_3 . . . . . . "50-56" . "ECBS" . "ECBS" . "2010"^^ . "2010"^^ . . "provenance information for RDF data of dblp record 'conf/ecbs/MalikTL10'" . . . . "2023-03-23T23:58:34+0100" .