%0 Journal Article %1 journals/aei/ZhengHLALK24 %A Zheng, Xiaochen %A Hu, Xiaodu %A Lu, Jinzhi %A Arista, Rebeca %A Lentes, Joachim %A Kiritsis, Dimitris %D 2024 %J Adv. Eng. Informatics %K dblp %P 102412 %T An aircraft assembly process formalism and verification method based on semantic modeling and MBSE. %U http://dblp.uni-trier.de/db/journals/aei/aei60.html#ZhengHLALK24 %V 60

@article{journals/aei/ZhengHLALK24, added-at = {2024-06-24T00:00:00.000+0200}, author = {Zheng, Xiaochen and Hu, Xiaodu and Lu, Jinzhi and Arista, Rebeca and Lentes, Joachim and Kiritsis, Dimitris}, biburl = {https://www.bibsonomy.org/bibtex/2f008166dd0e75c5691548abbe46a0005/dblp}, ee = {https://doi.org/10.1016/j.aei.2024.102412}, interhash = {d8b0518e7894923dc2fd0f3d2262333d}, intrahash = {f008166dd0e75c5691548abbe46a0005}, journal = {Adv. Eng. Informatics}, keywords = {dblp}, pages = 102412, timestamp = {2024-07-01T07:05:55.000+0200}, title = {An aircraft assembly process formalism and verification method based on semantic modeling and MBSE.}, url = {http://dblp.uni-trier.de/db/journals/aei/aei60.html#ZhengHLALK24}, volume = 60, year = 2024 }