%0 Journal Article %1 journals/access/ChenZZWA21 %A Chen, Xiaoying %A Zhu, Yi %A Zhao, Yu %A Wang, Jinyong %A Altynbek, Anarbekov %D 2021 %J IEEE Access %K dblp %P 99539-99551 %T Hybrid Modeling and Model Transformation of AADL for Verifying the Properties of CPS Space-Time Compositions. %U http://dblp.uni-trier.de/db/journals/access/access9.html#ChenZZWA21 %V 9

@article{journals/access/ChenZZWA21, added-at = {2021-07-29T00:00:00.000+0200}, author = {Chen, Xiaoying and Zhu, Yi and Zhao, Yu and Wang, Jinyong and Altynbek, Anarbekov}, biburl = {https://www.bibsonomy.org/bibtex/2033d0eb4f982ce4e06e5159c4c3d828d/dblp}, ee = {https://doi.org/10.1109/ACCESS.2021.3095768}, interhash = {2d7c63e28f6b77b02f923a1afbe0ea70}, intrahash = {033d0eb4f982ce4e06e5159c4c3d828d}, journal = {IEEE Access}, keywords = {dblp}, pages = {99539-99551}, timestamp = {2024-04-08T14:13:14.000+0200}, title = {Hybrid Modeling and Model Transformation of AADL for Verifying the Properties of CPS Space-Time Compositions.}, url = {http://dblp.uni-trier.de/db/journals/access/access9.html#ChenZZWA21}, volume = 9, year = 2021 }