机译:使用形式语言描述施工中的技术过程
Formal language; Technological cards; Information models; Computer-aided design systems;
机译:使用形式语言描述施工中的技术过程
机译:基于正式的意图轨迹描述标准机器飞机的描述语言
机译:XML操作语言的形式化和统一描述
机译:描述建筑技术过程的形式语言
机译:连接系统描述语言与形式验证
机译:神经系统语言:用于系统描述明确通信和神经连接自动数字化的形式化建模语言
机译:使用形式语言描述和面向对象的建模单位流程