{"_id":"rvDC2bwF4Jqnwc4Bd","bibbaseid":"bourbouh-farrell-mavridou-sljivo-brat-dennis-fisher-integratingformalverificationandassuranceaninspectionrovercasestudy-2021","author_short":["Bourbouh, H.","Farrell, M.","Mavridou, A.","Sljivo, I.","Brat, G.","Dennis, L. A.","Fisher, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Hamza"],"propositions":[],"lastnames":["Bourbouh"],"suffixes":[]},{"firstnames":["Marie"],"propositions":[],"lastnames":["Farrell"],"suffixes":[]},{"firstnames":["Anastasia"],"propositions":[],"lastnames":["Mavridou"],"suffixes":[]},{"firstnames":["Irfan"],"propositions":[],"lastnames":["Sljivo"],"suffixes":[]},{"firstnames":["Guillaume"],"propositions":[],"lastnames":["Brat"],"suffixes":[]},{"firstnames":["Louise","A."],"propositions":[],"lastnames":["Dennis"],"suffixes":[]},{"firstnames":["Michael"],"propositions":[],"lastnames":["Fisher"],"suffixes":[]}],"title":"Integrating Formal Verification and Assurance: An Inspection Rover Case Study","booktitle":"Proc. 13th International Symposium on NASA Formal Methods (NFM)","series":"Lecture Notes in Computer Science","volume":"12673","pages":"53–71","publisher":"Springer","year":"2021","doi":"10.1007/978-3-030-76384-8_4","note":"[<span class=\"fs\">FAIR-Space</span>]","bibtex":"@inproceedings{BourbouhFMSBD021,\n author = {Hamza Bourbouh and\n Marie Farrell and\n Anastasia Mavridou and\n Irfan Sljivo and\n Guillaume Brat and\n Louise A. Dennis and\n Michael Fisher},\n title = \"{Integrating Formal Verification and Assurance: An Inspection Rover\n Case Study}\",\n booktitle = {Proc. 13th International Symposium on {NASA} Formal Methods (NFM)},\n series = {Lecture Notes in Computer Science},\n volume = {12673},\n pages = {53--71},\n publisher = {Springer},\n year = {2021},\n doi = {10.1007/978-3-030-76384-8\\_4},\n note={[<span class=\"fs\">FAIR-Space</span>]}\n}\n\n","author_short":["Bourbouh, H.","Farrell, M.","Mavridou, A.","Sljivo, I.","Brat, G.","Dennis, L. A.","Fisher, M."],"key":"BourbouhFMSBD021","id":"BourbouhFMSBD021","bibbaseid":"bourbouh-farrell-mavridou-sljivo-brat-dennis-fisher-integratingformalverificationandassuranceaninspectionrovercasestudy-2021","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://autonomy-and-verification.github.io/pubs.bib","dataSources":["iqRbmbCgpDeaBjend","77JvGFZQteoFsRiyX","djqmTdTtLoYefofC8","BJmNrTjuXLNiSJTrn"],"keywords":[],"search_terms":["integrating","formal","verification","assurance","inspection","rover","case","study","bourbouh","farrell","mavridou","sljivo","brat","dennis","fisher"],"title":"Integrating Formal Verification and Assurance: An Inspection Rover Case Study","year":2021}