Browse "School of Computing(전산학부)" byAuthorAbdallah, Hanene Ben

Showing results 1 to 1 of 1

1
Formally Specified Monitoring of Temporal Properties

Kim, Moonzooresearcher; Viswanathan, Mahesh; Abdallah, Hanene Ben; Kannan, Sampath; Lee, Insup, European Conference on Real-Time Systems, pp.114 - 122, ECRTS, 1999-06-09

Discover

Type

. next

Open Access

Date issued

. next

Subject

. next

rss_1.0 rss_2.0 atom_1.0