|
| 1 |
Software Vulnerability, Assurance, and Security Testing
Cho, Seong-Je;Kim, Dong-Jin;
/
Korean Institute of Information Scientists and Engineers
, v.30, no.2, pp.9-21,
|
|
| 2 |
Development of High Reliable Reactive System Using LTL Synthesis
Kwon, Ryoung;Kwon, Gi-Hwon;
/
Korean Institute of Information Scientists and Engineers
, v.30, no.2, pp.22-28,
|
|
| 3 |
A Survey on Theorem Provers
Kim, Ik-Soon;
/
Korean Institute of Information Scientists and Engineers
, v.30, no.2, pp.29-33,
|
|
| 4 |
Applying AOP for Reliabile Service Application
Kim, Eun-Sun;Lee, Byung-Jeong;
/
Korean Institute of Information Scientists and Engineers
, v.30, no.2, pp.34-40,
|
|
| 5 |
Achieving Ultra-Dependable In-Vehicle Network Design
Kang, Min-Koo;Park, Kie-Jin;
/
Korean Institute of Information Scientists and Engineers
, v.30, no.2, pp.41-48,
|
|
| 6 |
Failure-aware Task Scheduling for Multiprocessor Embedded Systems under Real-time Constraints
Kim, Sung-Chan;Oh, Hyun-Ok;Lee, Chan-Hee;Ha, Soon-Hoi;
/
Korean Institute of Information Scientists and Engineers
, v.30, no.2, pp.49-58,
|
|
| 7 |
Research Trend on Prediction of Interpersonal Trust in Social Network
Song, Hee-Seok;Paik, Eui-Hyun;
/
Korean Institute of Information Scientists and Engineers
, v.30, no.2, pp.59-61,
|
|
| 8 |
Comparison with Standards of Software Functional Safety for Software Testing
Kang, Hae-Dal;
/
Korean Institute of Information Scientists and Engineers
, v.30, no.2, pp.62-71,
|
|
| 9 |
The Trend of International Standard to Improve SW Reliability
Woo, Kyung-Il;Woo, Joon-Seok;
/
Korean Institute of Information Scientists and Engineers
, v.30, no.2, pp.72-81,
|
|