Statecharts 명세의 역방향 안전성 분석Backward safety analysis for statecharts specifications

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 333
  • Download : 0
Advisors
차성덕Cha, Sung-Deok
Description
한국과학기술원 : 전산학과,
Publisher
한국과학기술원
Issue Date
1999
Identifier
156255/325007 / 000973598
Language
kor
Description

학위논문(석사) - 한국과학기술원 : 전산학과, 1999.8, [ iv, 56 p. ]

Keywords

역방향 분석; 안전성 분석; 스테이트차트; 스테이트메이트; STATEMATE; Backward analysis; Safety analysis; Statecharts

URI
http://hdl.handle.net/10203/34352
Link
http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=156255&flag=dissertation
Appears in Collection
CS-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