The Method for Real-Time Systems Modeling Based On the Object and Temporal Logic
The Transactions of the Korea Information Processing Society (1994 ~ 2000), Vol. 5, No. 6, pp. 1522-1536, Jun. 1998
10.3745/KIPSTE.1998.5.6.1522, PDF Download:
Abstract
Statistics
Show / Hide Statistics
Statistics (Cumulative Counts from September 1st, 2017)
Multiple requests among the same browser session are counted as one view.
If you mouse over a chart, the values of data points will be shown.
Statistics (Cumulative Counts from September 1st, 2017)
Multiple requests among the same browser session are counted as one view.
If you mouse over a chart, the values of data points will be shown.
|
Cite this article
[IEEE Style]
K. J. Sool and K. B. Wook, "The Method for Real-Time Systems Modeling Based On the Object and Temporal Logic," The Transactions of the Korea Information Processing Society (1994 ~ 2000), vol. 5, no. 6, pp. 1522-1536, 1998. DOI: 10.3745/KIPSTE.1998.5.6.1522.
[ACM Style]
Kim Jung Sool and Kang Byung Wook. 1998. The Method for Real-Time Systems Modeling Based On the Object and Temporal Logic. The Transactions of the Korea Information Processing Society (1994 ~ 2000), 5, 6, (1998), 1522-1536. DOI: 10.3745/KIPSTE.1998.5.6.1522.