Showing results 1 to 1 of 1
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 |
Discover