S.-D. Cha

Publication Activity (10 Years)

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

Publications

J.-S. Lee, S.-D. Cha
Qualitative formal method for requirements specification and validation of hybrid real-time safety systems. IEE Proc. Softw. 147 (1) (2000)