Login / Signup
An aircraft assembly process formalism and verification method based on semantic modeling and MBSE.
Xiaochen Zheng
Xiaodu Hu
Jinzhi Lu
Rebeca Arista
Joachim Lentes
Dimitris Kiritsis
Published in:
Adv. Eng. Informatics (2024)
Keyphrases
</>
semantic modeling
verification method
assembly process
temporal logic
model checking
knowledge representation
knowledge representation and reasoning
design process
artificial intelligence
case study
image analysis
printed circuit boards
database
data structure
programming language
semantic web