Specification of Railway Transportation Cyber Physical Systems Using Formal Approach
보안공학연구지원센터(IJMUE) International Journal of Multimedia and Ubiquitous Engineering Vol.8 No4 2013.07 pp.157-168
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
Test Case Generation from Formal Models of Cyber Physical System
보안공학연구지원센터(IJHIT) International Journal of Hybrid Information Technology Vol.6 No.3 2013.05 pp.15-24
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
Challenges, Promising Solutions and Open Problems of Cyber-Physical Systems
보안공학연구지원센터(IJHIT) International Journal of Hybrid Information Technology Vol.6 No.2 2013.03 pp.65-74
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
0개의 논문이 장바구니에 담겼습니다.
- 구매 불가 논문
-