The paper advances the introduce of FDT(Formal Description Technique) into network instrument and distributed measuring and controlling system,achieving a set of normative method about designing,validating,realizing,testing protocol,uncovering bugs of that as soon as possible,checking and rectifying bugs,perfecting the protocol and shortening the exploitation cycle.
基于1个网页-相关网页
应用推荐