AUTOMATIC CONTROL; EXPERT SYSTEMS; PROVING; SOFTWARE ENGINEERING; SPACE STATIONS; KNOWLEDGE; PROTOTYPES; REQUIREMENTS;
机译:通过CommonKADS对基于知识的系统进行增量生命周期验证
机译:验证和确认基于知识的系统
机译:具有多种颜色的增强型高级Petri网,用于基于规则的专家系统的知识验证/确认
机译:验证和验证时间知识是实施支持组织创造力的时间知识库系统的重要方面
机译:基于知识建模理论的自动化及其在航天飞机主机振动数据诊断中的应用
机译:基于知识的放射治疗临床试验计划质量控制系统的高效培训改进和验证
机译:通过ComparKad递增基于知识的系统的生命周期验证