한국어
LIBRARY
Communities & Collections
Researchers
Titles
Issue Date
Journals
검색
Search
Ieice Transactions on Information and Systems
Journal Title
Ieice Transactions on Information and Systems
ISSN
1745-1361
Publisher
Listed on
(Coverage)
JCR
2011-2012;2014-2019
SCIE
2014-2021
CC
2016-2021
Active
Active
Help
based on the information
JCR;SCIE;CC;
Country
JAPAN
Article List
1 - 2 out of 2 results.
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
BROWSE
한국어
Communities & Collections
Researchers
Titles
Journals
LIBRARY