%0 Journal Article %1 journals/computer/DrusinskyLMM22 %A Drusinsky, Doron %A Litton, Matthew %A Michael, James Bret %D 2022 %J Computer %K dblp %N 2 %P 102-108 %T Lightweight Verification and Validation of Cyberphysical Systems Using Machine-Learned Correctness Properties. %U http://dblp.uni-trier.de/db/journals/computer/computer55.html#DrusinskyLMM22 %V 55

@article{journals/computer/DrusinskyLMM22, added-at = {2023-09-30T00:00:00.000+0200}, author = {Drusinsky, Doron and Litton, Matthew and Michael, James Bret}, biburl = {https://www.bibsonomy.org/bibtex/21b2e9d24ba0cf60f55ab5bd3305d5a2f/dblp}, ee = {https://doi.org/10.1109/MC.2021.3132469}, interhash = {3265a4a968783dc47ea583c8da616166}, intrahash = {1b2e9d24ba0cf60f55ab5bd3305d5a2f}, journal = {Computer}, keywords = {dblp}, number = 2, pages = {102-108}, timestamp = {2024-04-08T18:09:27.000+0200}, title = {Lightweight Verification and Validation of Cyberphysical Systems Using Machine-Learned Correctness Properties.}, url = {http://dblp.uni-trier.de/db/journals/computer/computer55.html#DrusinskyLMM22}, volume = 55, year = 2022 }