Showing results 1 to 2 of 2
Monitoring, Checking, and Steering of Real-time Systems Kim, Moonzoo; Lee, Insup; Sammapun, Usa; Shin, Jangwoo; Sokolsky, Oleg, 2nd International Workshop on Run-time Verification (RV'02), pp.95 - 111, Run-time Verification, 2002-07-26 |
Monitoring, checking, and steering of real-time systems Kim, Moonzoo; Lee, lnsup; Sammapun, Usa; Shin, Jangwoo; Sokolsky, Oleg, ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, v.70, no.4, pp.101 - 117, 2002-12 |
Discover