%0 Conference Paper %1 conf/birthday/AkintundeBJMMZ23 %A Akintunde, Michael E. %A Brandão, Martim %A Jahangirova, Gunel %A Menendez, Hector %A Mousavi, Mohammad Reza %A Zhang, Jie %B Applicable Formal Methods for Safe Industrial Products %D 2023 %E Haxthausen, Anne E. %E ling Huang, Wen %E Roggenbach, Markus %I Springer %K dblp %P 3-15 %T On Testing Ethical Autonomous Decision-Making. %U http://dblp.uni-trier.de/db/conf/birthday/Peleska2023.html#AkintundeBJMMZ23 %V 14165 %@ 978-3-031-40132-9

@inproceedings{conf/birthday/AkintundeBJMMZ23, added-at = {2024-08-01T00:00:00.000+0200}, author = {Akintunde, Michael E. and Brandão, Martim and Jahangirova, Gunel and Menendez, Hector and Mousavi, Mohammad Reza and Zhang, Jie}, biburl = {https://www.bibsonomy.org/bibtex/2dbcb767dafcdad03025e2c948c87e3af/dblp}, booktitle = {Applicable Formal Methods for Safe Industrial Products}, crossref = {conf/birthday/2023peleska}, editor = {Haxthausen, Anne E. and ling Huang, Wen and Roggenbach, Markus}, ee = {https://doi.org/10.1007/978-3-031-40132-9_1}, interhash = {eaf9b896343b0d8d688be4f8c01d3501}, intrahash = {dbcb767dafcdad03025e2c948c87e3af}, isbn = {978-3-031-40132-9}, keywords = {dblp}, pages = {3-15}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-08-05T07:40:12.000+0200}, title = {On Testing Ethical Autonomous Decision-Making.}, url = {http://dblp.uni-trier.de/db/conf/birthday/Peleska2023.html#AkintundeBJMMZ23}, volume = 14165, year = 2023 }