DC Field | Value | Language |
---|---|---|
dc.contributor.author | Kim, Moonzoo | - |
dc.contributor.author | Lee, Insup | - |
dc.contributor.author | Sammapun, Usa | - |
dc.contributor.author | Shin, Jangwoo | - |
dc.contributor.author | Sokolsky, Oleg | - |
dc.date.accessioned | 2013-03-16T12:40:32Z | - |
dc.date.available | 2013-03-16T12:40:32Z | - |
dc.date.created | 2012-02-06 | - |
dc.date.issued | 2002-07-26 | - |
dc.identifier.citation | 2nd International Workshop on Run-time Verification (RV'02), pp.95 - 111 | - |
dc.identifier.uri | http://hdl.handle.net/10203/131360 | - |
dc.language | English | - |
dc.publisher | Run-time Verification | - |
dc.title | Monitoring, Checking, and Steering of Real-time Systems | - |
dc.title.alternative | 실시간 시스템의 모니터링, 검사, 스티어링 | - |
dc.type | Conference | - |
dc.type.rims | CONF | - |
dc.citation.beginningpage | 95 | - |
dc.citation.endingpage | 111 | - |
dc.citation.publicationname | 2nd International Workshop on Run-time Verification (RV'02) | - |
dc.identifier.conferencecountry | DK | - |
dc.identifier.conferencelocation | Copenhagen, Denmark | - |
dc.contributor.localauthor | Kim, Moonzoo | - |
dc.contributor.nonIdAuthor | Lee, Insup | - |
dc.contributor.nonIdAuthor | Sammapun, Usa | - |
dc.contributor.nonIdAuthor | Shin, Jangwoo | - |
dc.contributor.nonIdAuthor | Sokolsky, Oleg | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.