상세 보기
자료 필터
자료유형
발행연도
2010 ~ 2025
2010 2025
키워드
언어
선택된 필터
- conference
- article
- book
전체 78건 중 11번부터 20번까지의 결과를 표시합니다.
2019
Article
Self-Adaptive System Verification based on SysML
- Lee, Seung-Min ;
- Park, Soojin ;
- Park, Young B.
- 2019-05-03
- 2019 INTERNATIONAL CONFERENCE ON ELECTRONICS, INFORMATION, AND COMMUNICATION (ICEIC)
- IEEE
Article
Formal Specification Technique in Smart Contract Verification
- Lee, Seung-Min ;
- Park, Soojin ;
- Park, Young B.
- 2019-03-18
- 2019 INTERNATIONAL CONFERENCE ON PLATFORM TECHNOLOGY AND SERVICE (PLATCON)
- IEEE
Article
Software requirement specification based on a gray box for embedded systems: A case study of a mobile phone camera sensor controller
- 2019-03
- Computers
- MDPI AG
Article
Value-driven use cases triage for embedded systems: A case study of cellular phone
- Kim, Neunghoe ;
- Lee, Younkyu ;
- Sugumaran, Vijayan ;
- Park, Soojin
- 2019
- International Journal of Advanced Computer Science and Applications
- The Science and Information (SAI) Organization
2018
Article
An Automatic User Activity Analysis Method for Discovering Latent Requirements: Usability Issue Detection on Mobile Applications
- Park, Soojin ;
- Park, Sungyong ;
- Ma, Kyeongwook
- 2018-09
- Sensors
- Multidisciplinary Digital Publishing Institute (MDPI)
Article
State Diagram based IoT Ecosystem's IoT device Conflict problem migration method
- Lee, Seung-Min ;
- Park, Soojin ;
- Park, Young B.
- 2018-04-19
- International Conference on Information Networking