실시간 시스템을 위한 객체 지향 설계의 페트리 네트 기반의 분석에 관한 연구A study on petri net-based analysis of object-oriented design for real-time systems

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 425
  • Download : 0
DC FieldValueLanguage
dc.contributor.advisor배두환-
dc.contributor.advisorBae, Doo-Hwan-
dc.contributor.author최제욱-
dc.contributor.authorChoi, Je-Wook-
dc.date.accessioned2011-12-14T02:28:00Z-
dc.date.available2011-12-14T02:28:00Z-
dc.date.issued1996-
dc.identifier.urihttp://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=109106&flag=dissertation-
dc.identifier.urihttp://hdl.handle.net/10203/40005-
dc.description학위논문(석사) - 한국과학기술원 : 정보및통신공학과, 1996.8, [ vi, 48 p. ]-
dc.languagekor-
dc.publisher한국과학기술원-
dc.subject교착상태-
dc.subjectTime petri nets-
dc.subject도달성 조사-
dc.subject유한성-
dc.subject시간 페트리 네트-
dc.subjectDeadlock-
dc.subjectReachability analysis-
dc.subjectBoundedness-
dc.title실시간 시스템을 위한 객체 지향 설계의 페트리 네트 기반의 분석에 관한 연구-
dc.title.alternativeA study on petri net-based analysis of object-oriented design for real-time systems-
dc.typeThesis(Master)-
dc.identifier.CNRN109106/325007-
dc.description.department한국과학기술원 : 정보및통신공학과, -
dc.identifier.uid000947580-
dc.contributor.localauthor배두환-
dc.contributor.localauthorBae, Doo-Hwan-
Appears in Collection
ICE-Theses_Master(석사논문)
Files in This Item
There are no files associated with this item.

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0