Dayun He

Publication Activity (10 Years)

Years Active: 1982-1982
Publications (10 Years): 0

Publications

Thomas F. Piatkowski, Lap-Kin Ip, Dayun He
State Architecture Notation and Simulation: A Formal Technique for the Specification and Testing of Protocol Systems. PSTV (1982)
Thomas F. Piatkowski, Lap-Kin Ip, Dayun He
State Architecture Notation and Simulation: A Formal Technique for the Specification and Testing of Protocol Systems. Comput. Networks 6 (6) (1982)