信息处理系统的大规模化和复杂化，需要有效设计高可靠性系统的形式化的规格描述方法。
Information processing systems becoming large and complex, Formal description methods are needed for specification of systems and their efficient and reliable designs.
信息处理系统的大规模化和复杂化，需要有效设计高可靠性系统的形式化的规格描述方法。
Information processing systems becoming large and complex, Formal description methods are needed for specification of systems and their efficient and reliable designs.
应用推荐