{"_id":"3nFZAn3f6mMucfMfC","bibbaseid":"bogdiukiewicz-butler-hoang-paxton-snook-waldron-wilkinson-formaldevelopmentofpolicingfunctionsforintelligentsystems-2017","author_short":["Bogdiukiewicz, C.","Butler, M.","Hoang, T. S.","Paxton, M.","Snook, J.","Waldron, X.","Wilkinson, T."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Formal development of policing functions for intelligent systems","doi":"10/gdh85g","booktitle":"2017 IEEE 28th International Symposium on Software Reliability Engineering (ISSRE)","publisher":"IEEE","author":[{"propositions":[],"lastnames":["Bogdiukiewicz"],"firstnames":["Chris"],"suffixes":[]},{"propositions":[],"lastnames":["Butler"],"firstnames":["Michael"],"suffixes":[]},{"propositions":[],"lastnames":["Hoang"],"firstnames":["Thai","Son"],"suffixes":[]},{"propositions":[],"lastnames":["Paxton"],"firstnames":["Martin"],"suffixes":[]},{"propositions":[],"lastnames":["Snook"],"firstnames":["James"],"suffixes":[]},{"propositions":[],"lastnames":["Waldron"],"firstnames":["Xanthippe"],"suffixes":[]},{"propositions":[],"lastnames":["Wilkinson"],"firstnames":["Toby"],"suffixes":[]}],"year":"2017","pages":"194–204","bibtex":"@inproceedings{bogdiukiewiczFormalDevelopmentPolicing2017,\n\ttitle = {Formal development of policing functions for intelligent systems},\n\tdoi = {10/gdh85g},\n\tbooktitle = {2017 {IEEE} 28th {International} {Symposium} on {Software} {Reliability} {Engineering} ({ISSRE})},\n\tpublisher = {IEEE},\n\tauthor = {Bogdiukiewicz, Chris and Butler, Michael and Hoang, Thai Son and Paxton, Martin and Snook, James and Waldron, Xanthippe and Wilkinson, Toby},\n\tyear = {2017},\n\tpages = {194--204},\n}\n\n","author_short":["Bogdiukiewicz, C.","Butler, M.","Hoang, T. S.","Paxton, M.","Snook, J.","Waldron, X.","Wilkinson, T."],"key":"bogdiukiewiczFormalDevelopmentPolicing2017","id":"bogdiukiewiczFormalDevelopmentPolicing2017","bibbaseid":"bogdiukiewicz-butler-hoang-paxton-snook-waldron-wilkinson-formaldevelopmentofpolicingfunctionsforintelligentsystems-2017","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":[],"search_terms":["formal","development","policing","functions","intelligent","systems","bogdiukiewicz","butler","hoang","paxton","snook","waldron","wilkinson"],"title":"Formal development of policing functions for intelligent systems","year":2017}