%0 Thesis %1 phd/basesearch/Goyal22 %A Goyal, Manish %D 2022 %K dblp %T Behavioral validation in Cyber-physical systems: Safety violations and beyond.

@phdthesis{phd/basesearch/Goyal22, added-at = {2023-07-01T00:00:00.000+0200}, author = {Goyal, Manish}, biburl = {https://www.bibsonomy.org/bibtex/2b3af7fb57b770c3be146b33ec8293ed4/dblp}, ee = {https://www.base-search.net/Record/743019f38f01375da76b498dc762af2939ac7e576e6c39407f0c90b40f535e2d}, interhash = {cdab97300a3745412436b18649460639}, intrahash = {b3af7fb57b770c3be146b33ec8293ed4}, keywords = {dblp}, note = {base-search.net (ftcarolinadr:cdr.lib.unc.edu:gt54kz03r)}, school = {University of North Carolina, Chapel Hill, USA}, timestamp = {2024-04-09T09:20:47.000+0200}, title = {Behavioral validation in Cyber-physical systems: Safety violations and beyond.}, year = 2022 }