상세 보기
자료 필터
자료유형
발행연도
1993 ~ 2024
1993 2024
키워드
언어
전체 69건 중 1번부터 10번까지의 결과를 표시합니다.
2024
2022
Article
SmartProvenance: User-friendly provenance system for internet of things applications based on event flow graphs
- Chang, Byeong-Mo ;
- Lee, Kyung-Min ;
- Koh, Ga-Young ;
- Choi, Kwanghoon
- 2022-12
- IET Software
- WILEY
2020
Article
Smart Block: A visual block language and its programming environment for IoT
- Bak, Nayeon ;
- Chang, Byeong-Mo ;
- Choi, Kwanghoon
- 2020-10
- JOURNAL OF COMPUTER LANGUAGES
- ELSEVIER SCI LTD
Article
SmartVisual: a visualisation tool for SmartThings IoT Apps using static analysis
- Bak, Na-Yeon ;
- Chang, Byeong-Mo ;
- Choi, Kwanghoon
- 2020-08
- IET Software
- INST ENGINEERING TECHNOLOGY-IET
Article
A GQM Approach to Evaluation of the Quality of SmartThings Applications Using Static Analysis
- Chang, Byeong-Mo ;
- Son, Janine Cassandra ;
- Choi, Kwanghoon
- 2020-06
- KSII Transactions on Internet and Information Systems
- KSII-KOR SOC INTERNET INFORMATION
2019
Article
A theory of RPC calculi for client-server model
- Choi, Kwanghoon ;
- Chang, Byeong-Mo
- 2019-03
- Journal of Functional Programming
- CAMBRIDGE UNIV PRESS
2018
Article
A Practical Intent Fuzzing Tool for Robustness of Inter-Component Communication in Android Apps
- Choi, Kwanghoon ;
- Ko, Myungpil ;
- Chang, Byeong-Mo
- 2018-09
- KSII Transactions on Internet and Information Systems
- KSII-KOR SOC INTERNET INFORMATION
1