Formal description techniqices and protocol specification testing and verification forte x / PSTV XVII .97 - Mizuno, T. / Vshiraior , N. / Higashino, T . Togashi, A . (London Chapman, 1997)
Keywords: Technological innovation Communication