A Formal Model of Managed Objects with Temporal and Active Properties Using BDL
Vol. 7, No. 8, pp. 2688-2699, Aug. 2000
10.3745/KIPSTE.2000.7.8.2688
Abstract
Statistics
|
Cite this article
[IEEE Style]
E. B. Choi and B. N. Noh, "A Formal Model of Managed Objects with Temporal and Active Properties Using BDL," The Transactions of the Korea Information Processing Society (1994 ~ 2000), vol. 7, no. 8, pp. 2688-2699, 2000. DOI: 10.3745/KIPSTE.2000.7.8.2688.
[ACM Style]
Eun Bok Choi and Bong Nam Noh. 2000. A Formal Model of Managed Objects with Temporal and Active Properties Using BDL. The Transactions of the Korea Information Processing Society (1994 ~ 2000), 7, 8, (2000), 2688-2699. DOI: 10.3745/KIPSTE.2000.7.8.2688.