Subject

Subjects : modeling language

  • Articles (20)
  • Patents (0)
  • R&D Reports (0)
논문 검색결과
Type Year Title Cited Download
Conference 2021 Device Independent YANG Auto-generation Mechanism   Park Pyung-Koo  International Conference on Information and Communication Technology Convergence (ICTC) 2021, pp.1-6 3 원문
Conference 2016 CPS-based Model-Driven Approach to Smart Manufacturing Systems   Jeon Jaeho  International Conference on Intelligent Systems and Applications (INTELLI) 2016, pp.133-135
Journal 2016 CPS-based Fault-tolerance Method for Smart Factories   Kang Sung Joo  at - Automatisierungstechnik, v.64, no.9, pp.750-757 9 원문
Conference 2012 Translation from ECML to Linear Hybrid Automata   조재연  International Workshop on Technologies and Applications for Cyber-Phyiscal Systems (TACPS) 2012, pp.293-300 1 원문
Conference 2012 Metamodel-based CPS Modeling Tool   Jeon Jaeho  International Conference on Embedded and Multimedia Computing (EMC) 2012 (LNEE 181), v.181, pp.285-291 14 원문
Conference 2012 Case Study: Verification of ECML Models Using SpaceEx   조재연  Korea-Japan Joint Workshop on ICT 2012, pp.1-4
Conference 2011 DVML: DEVS-Based Visual Modeling Language for Hybrid Systems   Hae Young Lee  Control and Automation, and Energy System Engineering (CES3) 2011, pp.122-127
Conference 2011 DEV&DESS based Verification Tool for Cyber-Physical System   Kim Jin Myoung  The Society for Modeling and Simulation International 2011, pp.1-4
Conference 2010 Transformation of an Activity Model into a Colored Petri Net Model   Jung Hyo Taeg  International Conference on Trendz in Information Sciences and Computing (TISC) 2010, pp.32-37 9 원문
Journal 2008 Preliminary Design of Monitoring and Control Subsystem for GNSS Ground Station   Jeong Seong-Kyun  한국우주과학회지, v.25, no.2, pp.227-238 원문
Conference 2007 Design of Real-time Operations Subsystem in COMS SGCS   Kim Myungja  International Communications Satellite Systems Conference (ICSSC) 2007, pp.1-8 0 원문
Conference 2005 An Approach to Extension of UML 2.0 for Representing Variabilities   Choi Youhee  International Conference on Computer and Information Science (ICIS) 2005, pp.258-261 4 원문
Conference 2003 ebXML BP modeling toolkit   Moon Jin Young  International Enterprise Distributed Object Computing Conference (EDOC) 2003, pp.1-6 1 원문
Conference 2003 Kickball Game Using VRML ,JAVA and JNI For Ankle Rehabilitation   최형진  한국HCI학회 학술 대회 2003, pp.54-58
Conference 2001 Development of VRML Data Conversion Tool for VRML Extension   Kim Haedong  한국멀티미디어학회 학술 발표 대회 (추계) 2001, pp.569-574
Conference 2001 Open Web GIS Service System Based On Component   Kim Do Hyun  한국정보처리학회 학술 발표 대회 (추계) 2001, pp.405-408
Conference 2001 UML Design for Mobile Commerce Component   차석일  한국정보처리학회 학술 발표 대회 (추계) 2001, pp.445-448
Conference 2001 Design of M-Commerce using UML   차석일  한국정보과학회 학술 발표 (가을) 2001, pp.559-561
Conference 2001 A Technique for Extracting EJB Components from Servlets   Dong Kwan Kim  한국정보과학회 학술 발표 (가을) 2001, pp.517-519
Journal 2001 An Architecture Method for Multi - Agent System Developments and its Application to Intelligent Transport Systems   Lee Seungyun  정보과학회논문지 : 소프트웨어 및 응용, v.28, no.7, pp.478-492
특허 검색결과
Status Year Patent Name Country Family Pat. KIPRIS
No search results.
연구보고서 검색결과
Type Year Research Project Primary Investigator Download
No search results.