Subjects : Differential equation system
| Type | Year | Title | Cited | Download |
|---|---|---|---|---|
| Conference | 2012 | Case Study: Verification of ECML Models Using SpaceEx 조재연 Korea-Japan Joint Workshop on ICT 2012, pp.1-4 | ||
| 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 | 원문 |
| Status | Year | Patent Name | Country | Family Pat. | KIPRIS |
|---|---|---|---|---|---|
| No search results. | |||||
| Type | Year | Research Project | Primary Investigator | Download |
|---|---|---|---|---|
| No search results. | ||||