주제어 : hybrid automata
구분 | 연도 | 논문 | 피인용 | 원문 |
---|---|---|---|---|
학술대회 | 2012 | Translation from ECML to Linear Hybrid Automata 조재연 International Workshop on Technologies and Applications for Cyber-Phyiscal Systems (TACPS) 2012, pp.293-300 | 1 | 원문 |
구분 | 출원 | 특허 | 출원국 | 패밀리 | KIPRIS |
---|---|---|---|---|---|
검색결과가 없습니다. |
구분 | 연도 | 보고서 | 책임자 | 원문 |
---|---|---|---|---|
검색결과가 없습니다. |