{"_id":"FNZP6zMwbvbNXX8WN","bibbaseid":"bahig-elkadi-formalverificationofautomotivedesignincompliancewithiso26262designverificationguidelines-2017","author_short":["Bahig, G.","El-Kadi, A."],"bibdata":{"bibtype":"article","type":"article","title":"Formal verification of automotive design in compliance with ISO 26262 design verification guidelines","volume":"5","doi":"10/gdgwwr","journal":"IEEE Access","author":[{"propositions":[],"lastnames":["Bahig"],"firstnames":["Ghada"],"suffixes":[]},{"propositions":[],"lastnames":["El-Kadi"],"firstnames":["Amr"],"suffixes":[]}],"year":"2017","note":"tex.ids= bahigFormalVerificationAutomotive2017a publisher: IEEE","pages":"4505–4516","bibtex":"@article{bahig_formal_2017,\n\ttitle = {Formal verification of automotive design in compliance with {ISO} 26262 design verification guidelines},\n\tvolume = {5},\n\tdoi = {10/gdgwwr},\n\tjournal = {IEEE Access},\n\tauthor = {Bahig, Ghada and El-Kadi, Amr},\n\tyear = {2017},\n\tnote = {tex.ids= bahigFormalVerificationAutomotive2017a\npublisher: IEEE},\n\tpages = {4505--4516},\n}\n\n","author_short":["Bahig, G.","El-Kadi, A."],"key":"bahig_formal_2017","id":"bahig_formal_2017","bibbaseid":"bahig-elkadi-formalverificationofautomotivedesignincompliancewithiso26262designverificationguidelines-2017","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":[],"search_terms":["formal","verification","automotive","design","compliance","iso","26262","design","verification","guidelines","bahig","el-kadi"],"title":"Formal verification of automotive design in compliance with ISO 26262 design verification guidelines","year":2017}