Author Info
Name
Affiliation
Papers
EUNJI PAK
Elect & Telecommun Res Inst ETRI, Daejeon, South Korea
2
Collaborators
Citations 
PageRank 
9
1
0.77
Referers 
Referees 
References 
5
16
4
Title
Citations
PageRank
Year
Timed Model-Based Formal Analysis Of A Scheduler Of Qplus-Air, An Arinc-653 Compliance Rtos00.342017
SYNDICATE: Software Platform for Distributed Real-Time System10.432015