Karen J. Schellinger

Publication Activity (10 Years)

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

Publications

Jeffrey J. P. Tsai, Hung-Chin Jang, Karen J. Schellinger
RT-FRORL: a formal requirements specification language for specifying real-time systems. COMPSAC (1991)