%0 Journal Article %1 journals/sttt/SchuppAWRQ24 %A Schupp, Stefan %A Ábrahám, Erika %A Waez, Md Tawhid Bin %A Rambow, Thomas %A Qiu, Zeng %D 2024 %J Int. J. Softw. Tools Technol. Transf. %K dblp %N 1 %P 49-78 %T On the applicability of hybrid systems safety verification tools from the automotive perspective. %U http://dblp.uni-trier.de/db/journals/sttt/sttt26.html#SchuppAWRQ24 %V 26

@article{journals/sttt/SchuppAWRQ24, added-at = {2024-03-22T00:00:00.000+0100}, author = {Schupp, Stefan and Ábrahám, Erika and Waez, Md Tawhid Bin and Rambow, Thomas and Qiu, Zeng}, biburl = {https://www.bibsonomy.org/bibtex/2cc01d2f549f71aba9b6f1ae410bc8daf/dblp}, ee = {https://doi.org/10.1007/s10009-023-00707-0}, interhash = {98f797b297b24b90fdd0472e7ae9cf26}, intrahash = {cc01d2f549f71aba9b6f1ae410bc8daf}, journal = {Int. J. Softw. Tools Technol. Transf.}, keywords = {dblp}, month = {February}, number = 1, pages = {49-78}, timestamp = {2024-04-08T20:36:16.000+0200}, title = {On the applicability of hybrid systems safety verification tools from the automotive perspective.}, url = {http://dblp.uni-trier.de/db/journals/sttt/sttt26.html#SchuppAWRQ24}, volume = 26, year = 2024 }