|
Journal
|
2017 |
Timed Model-Based Formal Analysis of a Scheduler of Qplus-AIR, an ARINC-653 Compliance RTOS
윤상현 IEICE Transactions on Information and Systems, v.E100.D, no.10, pp.2644-2647 |
2 |
원문
|
|
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
|
2011 |
Formal Verification of DEV&DESS Formalism using Symbolic Model Checker HyTech
Han Choi Control and Automation, and Energy System Engineering (CES3) 2011, pp.112-121 |
|
|
|
Conference
|
2010 |
Formal Verification of UML 2.0 Sequence Diagram
Sachoun Park International Conference on Software Engineering and Knowledge Engineering (SEKE) 2010, pp.1-6 |
|
|
|
Conference
|
2006 |
Verifying Software Streaming Systems
Ki-Hyuk Nam International Conference on Advanced Communication Technology (ICACT) 2006, pp.367-371 |
1 |
|