Monitoring, Checking, and Steering of Real-time Systems실시간 시스템의 모니터링, 검사, 스티어링

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 379
  • Download : 3
DC FieldValueLanguage
dc.contributor.authorKim, Moonzoo-
dc.contributor.authorLee, Insup-
dc.contributor.authorSammapun, Usa-
dc.contributor.authorShin, Jangwoo-
dc.contributor.authorSokolsky, Oleg-
dc.date.accessioned2013-03-16T12:40:32Z-
dc.date.available2013-03-16T12:40:32Z-
dc.date.created2012-02-06-
dc.date.issued2002-07-26-
dc.identifier.citation2nd International Workshop on Run-time Verification (RV'02), pp.95 - 111-
dc.identifier.urihttp://hdl.handle.net/10203/131360-
dc.languageEnglish-
dc.publisherRun-time Verification-
dc.titleMonitoring, Checking, and Steering of Real-time Systems-
dc.title.alternative실시간 시스템의 모니터링, 검사, 스티어링-
dc.typeConference-
dc.type.rimsCONF-
dc.citation.beginningpage95-
dc.citation.endingpage111-
dc.citation.publicationname2nd International Workshop on Run-time Verification (RV'02)-
dc.identifier.conferencecountryDK-
dc.identifier.conferencelocationCopenhagen, Denmark-
dc.contributor.localauthorKim, Moonzoo-
dc.contributor.nonIdAuthorLee, Insup-
dc.contributor.nonIdAuthorSammapun, Usa-
dc.contributor.nonIdAuthorShin, Jangwoo-
dc.contributor.nonIdAuthorSokolsky, Oleg-

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0