%0 Conference Paper %1 conf/smc/LiuH23 %A Liu, Yinling %A Haouzi, Hind Bril El %B SMC %D 2023 %I IEEE %K dblp %P 2537-2542 %T Formal Verification of Ethical Choices in Industrial CPS. %U http://dblp.uni-trier.de/db/conf/smc/smc2023.html#LiuH23 %@ 979-8-3503-3702-0

@inproceedings{conf/smc/LiuH23, added-at = {2024-02-13T00:00:00.000+0100}, author = {Liu, Yinling and Haouzi, Hind Bril El}, biburl = {https://www.bibsonomy.org/bibtex/20b8e0ef6f1ae341f1385bd72faf93ffc/dblp}, booktitle = {SMC}, crossref = {conf/smc/2023}, ee = {https://doi.org/10.1109/SMC53992.2023.10394479}, interhash = {c82b51c483f9f5a9e345f15bdd2d99c6}, intrahash = {0b8e0ef6f1ae341f1385bd72faf93ffc}, isbn = {979-8-3503-3702-0}, keywords = {dblp}, pages = {2537-2542}, publisher = {IEEE}, timestamp = {2024-04-09T19:24:58.000+0200}, title = {Formal Verification of Ethical Choices in Industrial CPS.}, url = {http://dblp.uni-trier.de/db/conf/smc/smc2023.html#LiuH23}, year = 2023 }