%0 Journal Article %1 journals/tosem/MandrioliCM24 %A Mandrioli, Claudio %A Carlsson, Max Nyberg %A Maggio, Martina %D 2024 %J ACM Trans. Softw. Eng. Methodol. %K dblp %N 1 %P 18:1-18:32 %T Testing Abstractions for Cyber-Physical Control Systems. %U http://dblp.uni-trier.de/db/journals/tosem/tosem33.html#MandrioliCM24 %V 33

@article{journals/tosem/MandrioliCM24, added-at = {2024-02-10T00:00:00.000+0100}, author = {Mandrioli, Claudio and Carlsson, Max Nyberg and Maggio, Martina}, biburl = {https://www.bibsonomy.org/bibtex/20d2e4ca346a529271b7d8e56536c67e1/dblp}, ee = {https://doi.org/10.1145/3617170}, interhash = {90922ed43ddd5c137969d5da16c50e38}, intrahash = {0d2e4ca346a529271b7d8e56536c67e1}, journal = {ACM Trans. Softw. Eng. Methodol.}, keywords = {dblp}, month = {January}, number = 1, pages = {18:1-18:32}, timestamp = {2024-04-09T02:03:02.000+0200}, title = {Testing Abstractions for Cyber-Physical Control Systems.}, url = {http://dblp.uni-trier.de/db/journals/tosem/tosem33.html#MandrioliCM24}, volume = 33, year = 2024 }