DECOMPOSITION; ERRORS; SEMANTICS; SIMULATION;
机译:MoSCoE:通过功能规范的迭代重组构成Web服务的方法
机译:通过安全延迟约束自动重新制定规格
机译:Hindsight / RREB-1在果蝇成年中肠干细胞的规格和分化中起作用Hindsight / RREB-1在果蝇成年中肠干细胞的规格和分化中均起作用果蝇成年中肠干细胞的特性和分化
机译:使用基于测试的规范动画验证正式规范
机译:交互式和可验证的Web服务组成,规格重新制定和替代
机译:非洲爪蟾视网膜神经节细胞中位置信息的规范:规范时间的眼内控制
机译:mosCoE:通过功能规范的迭代重构来构建Web服务的方法