Sangwon Hyun, Jiyoung Song, Seungchyul Shin, Doo-Hwan Bae. Statistical Verification Framework for Platooning System of Systems with Uncertainty. In 26th Asia-Pacific Software Engineering Conference, APSEC 2019, Putrajaya, Malaysia, December 2-5, 2019. pages 212-219, IEEE, 2019. [doi]
@inproceedings{HyunSSB19, title = {Statistical Verification Framework for Platooning System of Systems with Uncertainty}, author = {Sangwon Hyun and Jiyoung Song and Seungchyul Shin and Doo-Hwan Bae}, year = {2019}, doi = {10.1109/APSEC48747.2019.00037}, url = {https://doi.org/10.1109/APSEC48747.2019.00037}, researchr = {https://researchr.org/publication/HyunSSB19}, cites = {0}, citedby = {0}, pages = {212-219}, booktitle = {26th Asia-Pacific Software Engineering Conference, APSEC 2019, Putrajaya, Malaysia, December 2-5, 2019}, publisher = {IEEE}, isbn = {978-1-7281-4648-5}, }