Author Info
Name
Affiliation
Papers
SANGHYUN YOON
Konkuk Univ, Dept Comp Sci & Engn, Seoul 143701, South Korea
4
Collaborators
Citations 
PageRank 
5
2
1.41
Referers 
Referees 
References 
7
153
48
Search Limit
100153
Title
Citations
PageRank
Year
Formal verification of ECML hybrid models with spaceex.00.342017
Timed Model-Based Formal Analysis Of A Scheduler Of Qplus-Air, An Arinc-653 Compliance Rtos00.342017
SQAF-DS: A Software Quality Assessment Framework for Dependable Systems10.372013
A Domain-Specific Safety Analysis for Digital Nuclear Plant Protection Systems10.362011