한국어
LIBRARY
Communities & Collections
Researchers
Titles
Issue Date
Journals
검색
Search
All of ScholarWorks
Department of Computer Software Engineering
1. Journal Articles
2. Conference Papers
3. Books & Book Chapters
4. Patents
5. Others
Current filters:
Title
Author
Subject
Date Issued
Type
Language
Journal
Journal Index
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Add filters:
Title
Author
Subject
Date Issued
Type
Language
Journal
Journal Index
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Sort items by
Relevance
Title
Issue Date
In order
Ascending
Descending
Authors/record
All
1
5
10
15
20
25
30
35
40
45
50
Results 1-2 of 2 (Search time: 0.001 seconds).
A New Approach to Deterministic Execution Testing for Concurrent Programs
Kim, Byeong-Man
Article
Issue Date
2001
Citation
Ieice Transactions on Information and Systems, v.E84-D, no.12, pp.1756 - 1766
Construction of Global State Transition Graph for Verifying Specifications Written in Message Sequence Charts for Telecommunications Software
Kim, Byeong-Man
Article
Issue Date
2001
Citation
Ieice Transactions on Information and Systems, v.E84-D, no.2, pp.249 - 261
1
Discover
Author
KIM, BYEONG MAN
2
Date Issued
2001
2
Type
Article
2
BROWSE
한국어
Communities & Collections
Researchers
Titles
Journals
LIBRARY