Computer software; Hardware; Production control;
机译:可执行控制规范的层次累积验证
机译:可执行规范模型的验证和确认
机译:验证具有可执行规范的航空电子概念架构
机译:可执行控制规范的分层累计验证
机译:交互式自动机的分层结构,用于对战场动力学建模:可控性和形式规范。
机译:生物化学系统规范和分析的可执行生物化学空间
机译:attempto - 从受控自然语言的规范到 可执行规范
机译:使用优化规范环境通过可执行模拟对saDT规范进行形式化和验证。