%0 Journal Article %1 journals/tcps/KimMS20 %A Kim, BaekGyu %A Masuda, Takato %A Shiraishi, Shinichi %D 2020 %J ACM Trans. Cyber Phys. Syst. %K dblp %N 1 %P 8:1-8:26 %T Test Specification and Generation for Connected and Autonomous Vehicle in Virtual Environments. %U http://dblp.uni-trier.de/db/journals/tcps/tcps4.html#KimMS20 %V 4

@article{journals/tcps/KimMS20, added-at = {2022-01-08T00:00:00.000+0100}, author = {Kim, BaekGyu and Masuda, Takato and Shiraishi, Shinichi}, biburl = {https://www.bibsonomy.org/bibtex/296fc1686e38f6624092e89e0cc7e3f1d/dblp}, ee = {https://doi.org/10.1145/3311954}, interhash = {5decdfb059b640cdbb91b62e5b770e48}, intrahash = {96fc1686e38f6624092e89e0cc7e3f1d}, journal = {ACM Trans. Cyber Phys. Syst.}, keywords = {dblp}, number = 1, pages = {8:1-8:26}, timestamp = {2024-04-09T00:53:02.000+0200}, title = {Test Specification and Generation for Connected and Autonomous Vehicle in Virtual Environments.}, url = {http://dblp.uni-trier.de/db/journals/tcps/tcps4.html#KimMS20}, volume = 4, year = 2020 }