%0 Journal Article %1 journals/tcad/WeiJGYMZK24 %A Wei, Ran %A Jiang, Zhe %A Guo, Xiaoran %A Yang, Ruizhe %A Mei, Haitao %A Zolotas, Athanasios %A Kelly, Tim %D 2024 %J IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. %K dblp %N 5 %P 1346-1359 %T DECISIVE: Designing Critical Systems With Iterative Automated Safety Analysis. %U http://dblp.uni-trier.de/db/journals/tcad/tcad43.html#WeiJGYMZK24 %V 43

@article{journals/tcad/WeiJGYMZK24, added-at = {2024-05-17T00:00:00.000+0200}, author = {Wei, Ran and Jiang, Zhe and Guo, Xiaoran and Yang, Ruizhe and Mei, Haitao and Zolotas, Athanasios and Kelly, Tim}, biburl = {https://www.bibsonomy.org/bibtex/242320ea136470d5d9f677e9a52c01f7c/dblp}, ee = {https://doi.org/10.1109/TCAD.2023.3340596}, interhash = {61c6442720b71c2922ea855c4facb6d8}, intrahash = {42320ea136470d5d9f677e9a52c01f7c}, journal = {IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.}, keywords = {dblp}, month = May, number = 5, pages = {1346-1359}, timestamp = {2024-05-20T07:07:21.000+0200}, title = {DECISIVE: Designing Critical Systems With Iterative Automated Safety Analysis.}, url = {http://dblp.uni-trier.de/db/journals/tcad/tcad43.html#WeiJGYMZK24}, volume = 43, year = 2024 }