iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://dblp.org/rec/conf/icse/TodorovBT18.nt
.
.
.
.
"Vassil Todorov et al.: Formal verification of automotive embedded software. (2018)" .
.
_:ID_60a6185ba9f01f7372614d3a94c004b2 . _:ID_60a6185ba9f01f7372614d3a94c004b2
. _:ID_60a6185ba9f01f7372614d3a94c004b2
. _:ID_60a6185ba9f01f7372614d3a94c004b2
. _:ID_60a6185ba9f01f7372614d3a94c004b2
"conf/icse/TodorovBT18" .
_:ID_784130a0bcfb81366f407bd891a3354d . _:ID_784130a0bcfb81366f407bd891a3354d
. _:ID_784130a0bcfb81366f407bd891a3354d
. _:ID_784130a0bcfb81366f407bd891a3354d
. _:ID_784130a0bcfb81366f407bd891a3354d
"10.1145/3193992.3194003" .
"Formal verification of automotive embedded software." .
.
.
.
.
.
.
.
"3"^^
.
_:Sig_473413a2db39cd2f58ef4881c609b26e_1 . _:Sig_473413a2db39cd2f58ef4881c609b26e_1
. _:Sig_473413a2db39cd2f58ef4881c609b26e_1
. _:Sig_473413a2db39cd2f58ef4881c609b26e_1
"Vassil Todorov" . _:Sig_473413a2db39cd2f58ef4881c609b26e_1
. _:Sig_473413a2db39cd2f58ef4881c609b26e_1
. _:Sig_473413a2db39cd2f58ef4881c609b26e_1
"1"^^
. _:Sig_473413a2db39cd2f58ef4881c609b26e_1
.
_:Sig_473413a2db39cd2f58ef4881c609b26e_2 . _:Sig_473413a2db39cd2f58ef4881c609b26e_2
. _:Sig_473413a2db39cd2f58ef4881c609b26e_2
. _:Sig_473413a2db39cd2f58ef4881c609b26e_2
"Fr\u00E9d\u00E9ric Boulanger" . _:Sig_473413a2db39cd2f58ef4881c609b26e_2
. _:Sig_473413a2db39cd2f58ef4881c609b26e_2
"2"^^
. _:Sig_473413a2db39cd2f58ef4881c609b26e_2
.
_:Sig_473413a2db39cd2f58ef4881c609b26e_3 . _:Sig_473413a2db39cd2f58ef4881c609b26e_3
. _:Sig_473413a2db39cd2f58ef4881c609b26e_3
. _:Sig_473413a2db39cd2f58ef4881c609b26e_3
"Safouan Taha" . _:Sig_473413a2db39cd2f58ef4881c609b26e_3
. _:Sig_473413a2db39cd2f58ef4881c609b26e_3
"3"^^
. _:Sig_473413a2db39cd2f58ef4881c609b26e_3
.
.
.
.
.
.
.
"84-87" .
"FormaliSE@ICSE" .
"FormaliSE@ICSE" .
"2018"^^
.
"2018"^^
.
.
"provenance information for RDF data of dblp record 'conf/icse/TodorovBT18'" .
.
.
.
"2021-08-10T14:29:45+0200" .
