%0 Conference Paper %1 conf/icse/HeitmeyerL15 %A Heitmeyer, Constance L. %A Leonard, Elizabeth I. %B FormaliSE@ICSE %D 2015 %E Gnesi, Stefania %E Plat, Nico %I IEEE Computer Society %K dblp %P 54-60 %T Obtaining Trust in Autonomous Systems: Tools for Formal Model Synthesis and Validation. %U http://dblp.uni-trier.de/db/conf/icse/formalise2015.html#HeitmeyerL15 %@ 978-1-4673-7043-1

@inproceedings{conf/icse/HeitmeyerL15, added-at = {2023-03-23T00:00:00.000+0100}, author = {Heitmeyer, Constance L. and Leonard, Elizabeth I.}, biburl = {https://www.bibsonomy.org/bibtex/236a30869ed3b61482602f34ff6367143/dblp}, booktitle = {FormaliSE@ICSE}, crossref = {conf/icse/2015formalise}, editor = {Gnesi, Stefania and Plat, Nico}, ee = {http://dl.acm.org/citation.cfm?id=2820140}, interhash = {7127d5121cb767dfebc9cb4074e5acf8}, intrahash = {36a30869ed3b61482602f34ff6367143}, isbn = {978-1-4673-7043-1}, keywords = {dblp}, pages = {54-60}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T14:16:00.000+0200}, title = {Obtaining Trust in Autonomous Systems: Tools for Formal Model Synthesis and Validation.}, url = {http://dblp.uni-trier.de/db/conf/icse/formalise2015.html#HeitmeyerL15}, year = 2015 }