Automata; Clocks; Computer architecture; Contracts; Cost accounting; Indexes; Timing;
机译:CBD方法中实时系统的时序要求的规范和分析
机译:建立实时系统中控制回路的时序要求
机译:基于区域的实时自适应系统形式规范和时序分析
机译:实时系统时机要求的影响分析
机译:基于组件的分布式实时系统的集成时序分析和验证。
机译:饥饿的每日时间会不同地影响鼠肝基因表达和脂质代谢–使用自组织图的系统生物学分析
机译:在基于组件的分布式实时系统中将端到端时序需求转换为时序分析模型