{"_id":"fc9bgaqi3ztkrmPfa","bibbaseid":"barnat-beran-brim-kratochvla-rokai-toolchaintosupportautomatedformalverificationofavionicssimulinkdesigns-2012","author_short":["Barnat, J.","Beran, J.","Brim, L.","Kratochvíla, T.","Ročkai, P."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Tool chain to support automated formal verification of avionics simulink designs","doi":"10/ghv4p4","booktitle":"International Workshop on Formal Methods for Industrial Critical Systems","publisher":"Springer","author":[{"propositions":[],"lastnames":["Barnat"],"firstnames":["Jiri"],"suffixes":[]},{"propositions":[],"lastnames":["Beran"],"firstnames":["Jan"],"suffixes":[]},{"propositions":[],"lastnames":["Brim"],"firstnames":["Lubos"],"suffixes":[]},{"propositions":[],"lastnames":["Kratochvíla"],"firstnames":["Tomas"],"suffixes":[]},{"propositions":[],"lastnames":["Ročkai"],"firstnames":["Petr"],"suffixes":[]}],"year":"2012","note":"tex.ids= barnatToolChainSupport2012a, barnatToolChainSupport2012b, barnatToolChainSupport2012c","pages":"78–92","bibtex":"@inproceedings{barnat_tool_2012,\n\ttitle = {Tool chain to support automated formal verification of avionics simulink designs},\n\tdoi = {10/ghv4p4},\n\tbooktitle = {International {Workshop} on {Formal} {Methods} for {Industrial} {Critical} {Systems}},\n\tpublisher = {Springer},\n\tauthor = {Barnat, Jiri and Beran, Jan and Brim, Lubos and Kratochvíla, Tomas and Ročkai, Petr},\n\tyear = {2012},\n\tnote = {tex.ids= barnatToolChainSupport2012a, barnatToolChainSupport2012b, barnatToolChainSupport2012c},\n\tpages = {78--92},\n}\n\n","author_short":["Barnat, J.","Beran, J.","Brim, L.","Kratochvíla, T.","Ročkai, P."],"key":"barnat_tool_2012","id":"barnat_tool_2012","bibbaseid":"barnat-beran-brim-kratochvla-rokai-toolchaintosupportautomatedformalverificationofavionicssimulinkdesigns-2012","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":[],"search_terms":["tool","chain","support","automated","formal","verification","avionics","simulink","designs","barnat","beran","brim","kratochvíla","ročkai"],"title":"Tool chain to support automated formal verification of avionics simulink designs","year":2012}