From AADL to Timed Automaton - A Verification Approach
보안공학연구지원센터(IJSEIA) International Journal of Software Engineering and Its Applications Vol.7 No.4 2013.07 pp.115-126
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
Research on AADL Model for Qualitative Safety Analysis of Embedded Systems
보안공학연구지원센터(IJMUE) International Journal of Multimedia and Ubiquitous Engineering Vol.11 No.6 2016.06 pp.153-170
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
Implementation of AADL Interpreter Based on K
보안공학연구지원센터(IJHIT) International Journal of Hybrid Information Technology Vol.8 No.4 2015.04 pp.177-184
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
Design and Implementation of Abstract Syntax of AADL and Code Generation Based on Spoofax/XL
보안공학연구지원센터(IJUNESST) International Journal of u- and e- Service, Science and Technology Vol.8 No.3 2015.03 pp.171-178
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
Analysis and Design of Railway Communication Control System Based AADL
보안공학연구지원센터(IJCA) International Journal of Control and Automation Vol.6 No.3 2013.06 pp.113-124
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
0개의 논문이 장바구니에 담겼습니다.
- 구매 불가 논문
-