DSpace at KOASAS
Browsing DSpace

Browse by Subject Statecharts

A to Z

All 0-9

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 1 to 10 of 10

1
(An) approach to defining and verifying modules for Statecharts = Statecharts 모듈 정의 및 검증link

Seo, Sun-Ae; 서선애; et al, 한국과학기술원, 2000

2
Application of statecharts and table methods to formal specification of the NPP trip function requirements = 원자력발전소 트립기능 요건의 정형적 명세를 위한 Statecharts와 테이블 방법 응용에 관한 연구link

Seo, Ho-Joon; 서호준; et al, 한국과학기술원, 1999

3
Constraints-based testing for systems specified with statecharts = Statecharts 명세를 가지는 시스템에 대한 제약 조건 기반 테스팅link

Seo, Heui-Seok; 서희석; et al, 한국과학기술원, 2000

4
Formal synthesis of application and platform behaviors of embedded software systems

Kim, Jinhyun; Kang, Inhye; Choi, Jin-Young; Lee, Insup; Kang, Sungwon, SOFTWARE AND SYSTEMS MODELING, v.14, no.2, pp.839 - 859, 2015-05

5
Generating test sequences from Statecharts for concurrent program testing

Seo, HS; Chung, IS; Kwon, Yong Rae, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, v.E89D, no.4, pp.1459 - 1469, 2006

6
Message sequence charts와 statecharts간의 일관성 검사 = Consistency checking between Message sequence charts and statechartslink

김태효; Kim, Tai-Hyo; 차성덕; 배두환; et al, 한국과학기술원, 2000

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

장준보; Jang, Joon-Bo; et al, 한국과학기술원, 1999

8
Stepwise verification of statecharts specification using state abstraction = 상태 추상화를 통한 Statecharts 요구명세의 단계적 검증link

Oh, Seung-Uk; 오승욱; et al, 한국과학기술원, 1998

9
Verification and testing methods for Statecharts = Statecharts를 위한 검증 및 테스팅 방법link

Hong, Hyoung-Seok; 홍형석; et al, 한국과학기술원, 2001

10
스테이트차트의 실시간 검증을 위한 모델체커의 확장 = Extending SMV for real-time verification of statechartslink

방호정; Bang, Ho-Jung; et al, 한국과학기술원, 2003

Discover

rss_1.0 rss_2.0 atom_1.0