%0 Conference Paper %1 conf/compsac/AlotaibiHB22 %A Alotaibi, Fahad %A Hoang, Thai Son %A Butler, Michael J. %B COMPSAC %D 2022 %E Leong, Hong Va %E Sarvestani, Sahra Sedigh %E Teranishi, Yuuichi %E Cuzzocrea, Alfredo %E Kashiwazaki, Hiroki %E Towey, Dave %E Yang, Ji-Jiang %E Shahriar, Hossain %I IEEE %K dblp %P 1643-1648 %T High-Level Rigorous Template for Analysing Safety Properties of Self-driving Vehicle Systems. %U http://dblp.uni-trier.de/db/conf/compsac/compsac2022.html#AlotaibiHB22 %@ 978-1-6654-8810-5

@inproceedings{conf/compsac/AlotaibiHB22, added-at = {2022-08-11T00:00:00.000+0200}, author = {Alotaibi, Fahad and Hoang, Thai Son and Butler, Michael J.}, biburl = {https://www.bibsonomy.org/bibtex/275c76dcd7680d341d51535aba3b160aa/dblp}, booktitle = {COMPSAC}, crossref = {conf/compsac/2022}, editor = {Leong, Hong Va and Sarvestani, Sahra Sedigh and Teranishi, Yuuichi and Cuzzocrea, Alfredo and Kashiwazaki, Hiroki and Towey, Dave and Yang, Ji-Jiang and Shahriar, Hossain}, ee = {https://doi.org/10.1109/COMPSAC54236.2022.00261}, interhash = {7ecace47ce9dcaaa7dad3fd0af5381e0}, intrahash = {75c76dcd7680d341d51535aba3b160aa}, isbn = {978-1-6654-8810-5}, keywords = {dblp}, pages = {1643-1648}, publisher = {IEEE}, timestamp = {2024-04-09T16:54:34.000+0200}, title = {High-Level Rigorous Template for Analysing Safety Properties of Self-driving Vehicle Systems.}, url = {http://dblp.uni-trier.de/db/conf/compsac/compsac2022.html#AlotaibiHB22}, year = 2022 }