{"_id":"Mm7Cy2iqYwEaPexAw","bibbaseid":"bozzano-bruintjes-cimatti-katoen-noll-tonetta-formalmethodsforaerospacesystems-2017","author_short":["Bozzano, M.","Bruintjes, H.","Cimatti, A.","Katoen, J.","Noll, T.","Tonetta, S."],"bibdata":{"bibtype":"incollection","type":"incollection","title":"Formal methods for aerospace systems","booktitle":"Cyber-physical system design from an architecture analysis viewpoint","publisher":"Springer","author":[{"propositions":[],"lastnames":["Bozzano"],"firstnames":["Marco"],"suffixes":[]},{"propositions":[],"lastnames":["Bruintjes"],"firstnames":["Harold"],"suffixes":[]},{"propositions":[],"lastnames":["Cimatti"],"firstnames":["Alessandro"],"suffixes":[]},{"propositions":[],"lastnames":["Katoen"],"firstnames":["Joost-Pieter"],"suffixes":[]},{"propositions":[],"lastnames":["Noll"],"firstnames":["Thomas"],"suffixes":[]},{"propositions":[],"lastnames":["Tonetta"],"firstnames":["Stefano"],"suffixes":[]}],"year":"2017","note":"tex.ids= bozzanoFormalMethodsAerospace2017a, bozzanoFormalMethodsAerospace2017b, bozzanoFormalMethodsAerospace2017c, bozzanoFormalMethodsAerospace2017d, bozzano_formal_2017","pages":"133–159","bibtex":"@incollection{bozzano_formal_2017,\n\ttitle = {Formal methods for aerospace systems},\n\tbooktitle = {Cyber-physical system design from an architecture analysis viewpoint},\n\tpublisher = {Springer},\n\tauthor = {Bozzano, Marco and Bruintjes, Harold and Cimatti, Alessandro and Katoen, Joost-Pieter and Noll, Thomas and Tonetta, Stefano},\n\tyear = {2017},\n\tnote = {tex.ids= bozzanoFormalMethodsAerospace2017a, bozzanoFormalMethodsAerospace2017b, bozzanoFormalMethodsAerospace2017c, bozzanoFormalMethodsAerospace2017d, bozzano\\_formal\\_2017},\n\tpages = {133--159},\n}\n\n","author_short":["Bozzano, M.","Bruintjes, H.","Cimatti, A.","Katoen, J.","Noll, T.","Tonetta, S."],"key":"bozzano_formal_2017","id":"bozzano_formal_2017","bibbaseid":"bozzano-bruintjes-cimatti-katoen-noll-tonetta-formalmethodsforaerospacesystems-2017","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"incollection","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":[],"search_terms":["formal","methods","aerospace","systems","bozzano","bruintjes","cimatti","katoen","noll","tonetta"],"title":"Formal methods for aerospace systems","year":2017}