An Axiomatic Verification of Behavior Matrix Model in Conceptual Design

• 概念设计中行为矩阵模型的公理化验证