%0 Journal Article %1 journals/tcad/WeiJMBFKZ24 %A Wei, Ran %A Jiang, Zhe %A Mei, Haitao %A Barmpis, Konstantinos %A Foster, Simon %A Kelly, Tim %A Zhuang, Yan %D 2024 %J IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. %K dblp %N 1 %P 291-304 %T Automated Model-Based Assurance Case Management Using Constrained Natural Language. %U http://dblp.uni-trier.de/db/journals/tcad/tcad43.html#WeiJMBFKZ24 %V 43

@article{journals/tcad/WeiJMBFKZ24, added-at = {2024-02-05T00:00:00.000+0100}, author = {Wei, Ran and Jiang, Zhe and Mei, Haitao and Barmpis, Konstantinos and Foster, Simon and Kelly, Tim and Zhuang, Yan}, biburl = {https://www.bibsonomy.org/bibtex/25f2373bf8b67ecf8873f6d5374061f3f/dblp}, ee = {https://doi.org/10.1109/TCAD.2023.3303220}, interhash = {cc23f31d260213a22e14c8e4e15dd727}, intrahash = {5f2373bf8b67ecf8873f6d5374061f3f}, journal = {IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.}, keywords = {dblp}, month = {January}, number = 1, pages = {291-304}, timestamp = {2024-04-08T19:47:14.000+0200}, title = {Automated Model-Based Assurance Case Management Using Constrained Natural Language.}, url = {http://dblp.uni-trier.de/db/journals/tcad/tcad43.html#WeiJMBFKZ24}, volume = 43, year = 2024 }