Applying Formal Methods to Modeling and Analysis of Real-time Data Streams
소개글Author: Kapitanova Krasimira, Wei Yuan, Kang Woochul, Son Sang H.
Organization: Kapitanova Krasimira; Wei Yuan; Kang Woochul; Son Sang H.
Publish: Journal of Computing Science and Engineering Volume 5, Issue1, p85~110, 28 Feb 2011