과제정보
이 논문은 2020년 공주대학교 학술연구지원사업의 연구지원에 의하여 연구되었음.
참고문헌
- D. Beyer, M. Dangl, and P, Wendler, "A unifying view on SMT-Based software verification," Journal of Automated Reasoning, Vol.60, No.3, pp.299-305, 2018. https://doi.org/10.1007/s10817-017-9432-6
- T. Merkle and R. Gotzen, "Millimeter-wave surface mount technology for 3-D printed polymer multichip modules," IEEE Transactions on Components, Packaging and Manufacturing Technology, Vol.5, No.2, pp.201-206, 2015. https://doi.org/10.1109/TCPMT.2014.2387232
- F. Brandl, F. Brandt, C. Eberl, and C. Geist, "Proving the incompatibility of efficiency and strategy proofness via SMT solving," Journal of the Association for Computing Machinery, Vol.65, No.2, pp.188-195, 2018.
- T. H, Treichel, "A reliability examination of lead-free quartz crystal products using surface mount technology engineered for harsh environments," SMTA News and Journal of Surface Mount Technology, Vol.18, No.3, pp.39-47, 2005, 2018.
- S. H. Kim and C. S. Kim, "The method to reduce the driving time in (sLa-Camera-pRd)type," Journal of The Korea Convergence Society, Vol.9, No.12, pp.1-7. 2018. https://doi.org/10.15207/JKCS.2018.9.12.001
- S. H. Kim and C. S. Kim, "Comparing the placement time of stop_motion and moving_motion," Indian Journal of Public Health Research & Development, Vol.9, No.8, pp.633-637, 2018. https://doi.org/10.5958/0976-5506.2018.00804.5
- S. H. Kim and C. S. Kim, "A confirmation of the minimum moving time to the stop_motion in the (sLa-Camera-pLa) type," KIPS Transactions on Software and Data Engineering, Vol.6, No.5, pp.223-228, 2017. https://doi.org/10.3745/KTSDE.2017.6.5.223
- S. H. Kim and C. S. Kim, "A comparison of the moving time about gantry," KIPS Transactions on Software and Data Engineering, Vol.6, No.3, pp.135-140, 2017. https://doi.org/10.3745/KTSDE.2017.6.3.135
- S. H. Kim and C. S. Kim, "The most efficient path algorithm from feeders to PCBs," International Journal of Control and Automation, Vol.8, No.9, pp.11-20, 2015. https://doi.org/10.14257/ijca.2015.8.9.02
- S. H. Kim and C. S. Kim, "The method to reduce the travel time of the gentry in (sLb-Camera-pLb) type," Journal of the Korea Convergence Society, Vol.10, No.4, pp.39-43, 2019. https://doi.org/10.15207/JKCS.2019.10.4.039
- W. S. Kim and K. C. "Kang big signature method for plagiarism detection," Journal of Information Technology Applications and Management, Vol.24, No.1, pp.1-10, 2017. https://doi.org/10.21219/jitam.2017.24.1.001