{"_id":"uptA4HAotrp9jG72E","bibbaseid":"bernardeschi-domenici-saponara-formalverificationinthelooptoenhanceverificationofsafetycriticalcyberphysicalsystems-2019","author_short":["Bernardeschi, C.","Domenici, A.","Saponara, S."],"bibdata":{"bibtype":"article","type":"article","title":"Formal verification in the loop to enhance verification of safety-critical cyber-physical systems","volume":"77","journal":"Electronic Communications of the EASST","author":[{"propositions":[],"lastnames":["Bernardeschi"],"firstnames":["Cinzia"],"suffixes":[]},{"propositions":[],"lastnames":["Domenici"],"firstnames":["Andrea"],"suffixes":[]},{"propositions":[],"lastnames":["Saponara"],"firstnames":["Sergio"],"suffixes":[]}],"year":"2019","keywords":"⛔ No DOI found","bibtex":"@article{bernardeschi_formal_2019,\n\ttitle = {Formal verification in the loop to enhance verification of safety-critical cyber-physical systems},\n\tvolume = {77},\n\tjournal = {Electronic Communications of the EASST},\n\tauthor = {Bernardeschi, Cinzia and Domenici, Andrea and Saponara, Sergio},\n\tyear = {2019},\n\tkeywords = {⛔ No DOI found},\n}\n\n","author_short":["Bernardeschi, C.","Domenici, A.","Saponara, S."],"key":"bernardeschi_formal_2019","id":"bernardeschi_formal_2019","bibbaseid":"bernardeschi-domenici-saponara-formalverificationinthelooptoenhanceverificationofsafetycriticalcyberphysicalsystems-2019","role":"author","urls":{},"keyword":["⛔ No DOI found"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":["⛔ no doi found"],"search_terms":["formal","verification","loop","enhance","verification","safety","critical","cyber","physical","systems","bernardeschi","domenici","saponara"],"title":"Formal verification in the loop to enhance verification of safety-critical cyber-physical systems","year":2019}