组合时间分析相关论文
在嵌入式实时软件的开发早期，将构件技术应用于对其进行时间需求的形式化分析中，不但有助于保证软件的正确性和可靠性，还能缩短需求分......
嵌入式实时软件具有严格的时间要求，任何时间错误都可能造成重大的经济损失甚至导致灾难性的后果。因此，在软件开发早期，对其时间需求......
