Dept. of Computer Science, Oldenburg University, D-26111 Oldenburg;
OFFIS, D-26121 Oldenburg;
机译:合同规范用于表示需求和硬件模型的功能测试
机译:实时序列图适用于硬件要求规范和验证
机译:SyReC:一种硬件描述语言,用于可逆电路的规范和综合
机译:根据需求规范进行硬件综合
机译:刺激响应需求规范符号:一种通过经验评估的需求规范符号。
机译:将需求语句划分为各个需求的方法以及可以描述各个需求的需求规范编辑器的开发
机译:需求规范中的硬件综合