%0 Journal Article %1 journals/fac/YangBYHBFG21 %A Yang, Zhibin %A Bao, Yang %A Yang, Yongqiang %A Huang, Zhiqiu %A Bodeveix, Jean-Paul %A Filali, Mamoun %A Gu, Zonghua %D 2021 %J Formal Aspects Comput. %K dblp %N 3 %P 343-384 %T Exploiting augmented intelligence in the modeling of safety-critical autonomous systems. %U http://dblp.uni-trier.de/db/journals/fac/fac33.html#YangBYHBFG21 %V 33

@article{journals/fac/YangBYHBFG21, added-at = {2023-09-30T00:00:00.000+0200}, author = {Yang, Zhibin and Bao, Yang and Yang, Yongqiang and Huang, Zhiqiu and Bodeveix, Jean-Paul and Filali, Mamoun and Gu, Zonghua}, biburl = {https://www.bibsonomy.org/bibtex/254efffe8b758cd45fcaca142a4ff406f/dblp}, ee = {https://doi.org/10.1007/s00165-021-00543-6}, interhash = {14feb1fe39c2131b7535abae2be1a9ee}, intrahash = {54efffe8b758cd45fcaca142a4ff406f}, journal = {Formal Aspects Comput.}, keywords = {dblp}, number = 3, pages = {343-384}, timestamp = {2024-04-09T05:37:36.000+0200}, title = {Exploiting augmented intelligence in the modeling of safety-critical autonomous systems.}, url = {http://dblp.uni-trier.de/db/journals/fac/fac33.html#YangBYHBFG21}, volume = 33, year = 2021 }