참고문헌
- D. M. Beyer and P. Dangl, & Wendler, "A Unifying View on SMT-Based Software Verification", J. of automated reasoning, Vol. 60, No. 3, pp. 299-305, Mar. 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 Trans. on Components, Packaging and Manufacturing Technology, Vol. 5, No. 2, pp. 201-206, Feb. 2015. https://doi.org/10.1109/TCPMT.2014.2387232
- Y. M. Kim and C. S. Kim, "Development of the Air Stick Feeder for Inserting the Relay", Journal of the Korea Academia-Industrial cooperation Society., Vol. 16, No. 2, pp. 1398-1402, Feb. 2015. https://doi.org/10.5762/KAIS.2015.16.2.1398
- S. H. Kim and C. S. Kim, "The most Efficient Path Algorithm from Feeders to PCBs. International Journal of Control and Automation", Indian Journal of Public Health Research & Development., Vol. 9, No. 8, pp. 633-637, Aug. 2018.
- S. H. Kim and C. S. Kim, "A Unifying View on SMT-Based Software Verification", International Journal of Control and Automation., Vol. 8, No. 9, pp. 11-20, Sept. 2015. https://doi.org/10.14257/ijca.2015.8.9.02
- 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 Tr. Software and Data Eng., Vol. 6, No. 5, pp. 223-228, May H. Ki. 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 Tr. Software and Data Eng., Vol. 6, No. 3, pp. 135-140, Mar. 2017. https://doi.org/10.3745/KTSDE.2017.6.3.135
- 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, Aug. 2018.
- S. H. Kim and C. S. Kim, "Minimum Time algorithm for Gantry Travel", International Journal of Hybrid Information Technology., Vol. 9, No. 8, pp. 417-424, Aug. 2016.
- S. H. Kim and C. S. Kim, "An algorithm of the Minimum Time on the (sLa-Camera-pLb)path", International Journal of Hybrid Information Technology., Vol. 13, No. 10, pp. 337-342, Oct. 2016.