Browse "School of Computing(전산학부)" by Author h. s. bae

Showing results 1 to 1 of 1

1
Specifying and Verifying Real-Time Systems with Timing Uncertainty

h. s. bae; i. s. chung; Kwon, Yong Rae, JOURNAL OF SYSTEMS AND SOFTWARE, v.50, no.1, pp.85 - 96, 2000-01

Discover

Type

. next

Open Access

Date issued

. next

Subject

. next

rss_1.0 rss_2.0 atom_1.0