...
机译:加强系统架构的合同细化
Fdn Bruno Kessler, Trento, Italy;
Fdn Bruno Kessler, Trento, Italy;
Fdn Bruno Kessler, Trento, Italy;
Contract-based design; OCRA; Temporal logic; Parameter synthesis;
机译:基于组件的嵌入式系统的合同细化证明系统
机译:一种定义体细胞癌进化过程中基因组结构对谱系选择和可进化性的约束的系统方法一种定义体细胞癌进化过程中基因组结构对谱系选择和可进化性的约束的系统方法一种定义基因组体系结构关于谱系选择和可进化性的约束的系统方法在体癌演变过程中
机译:雷神公司获得空军合同,为导弹预警系统提供地面系统
机译:加强合同细化
机译:基于策略的体系结构优化技术,用于设计多层安全系统
机译:毛细胞突触的发育完善加强了Ca2 +内流与胞吐作用的耦合
机译:毛细胞突触的发育细化目前涉及Ca2 +流入与胞吐作用的耦合。
机译:开放式架构合同的一致性:开放系统架构合同指南。