A. T. Rose

Publication Activity (10 Years)

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

Publications

Paul C. Clements, Constance L. Heitmeyer, Bruce G. Labaw, A. T. Rose
MT: A Toolset for Specifying and Analyzing Real-Time Systems. RTSS (1993)