法律状态公告日
法律状态信息
法律状态
2018-09-25
授权
授权
2016-12-07
实质审查的生效 IPC(主分类):G01N33/38 申请日:20160808
实质审查的生效
2016-12-07
实质审查的生效 IPC(主分类):G01N 33/38 申请日:20160808
实质审查的生效
2016-11-09
公开
公开
2016-11-09
公开
公开
机译: 系统和软件开发过程模型的形成和验证方法,包括控制元模型的一致性和模型相对于元模型的一致性,以及控制对模型特定规则的遵循
机译: 通过模型变更分析的模型验证方法和使用该模型的模型验证装置
机译: 通过模型变更分析的模型验证方法和使用该模型的模型验证装置