Subjects :
Formal verification
논문 검색결과
| Type |
Year |
Title |
Cited |
Download |
|
Journal
|
2022 |
On the Security of a Lightweight and Secure Access Authentication Scheme for Both UE and mMTC Devices in 5G Networks
Park Kisung Applied Sciences, v.12, no.9, pp.1-18 |
3 |
원문
|
|
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 |
원문
|
|
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 |
|
|
|
Journal
|
2010 |
Wearable Personal Network Based on Fabric Serial Bus Using Electrically Conductive Yarn
Lee Hyung Sun ETRI Journal, v.32, no.5, pp.713-721 |
9 |
원문
|
|
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 |
|
특허 검색결과
| Status |
Year |
Patent Name |
Country |
Family Pat. |
KIPRIS |
|
No search results. |
연구보고서 검색결과
| Type |
Year |
Research Project |
Primary Investigator |
Download |
|
No search results. |