Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Eunji PAK
Timed Model-Based Formal Analysis of a Scheduler of Qplus-Air, an ARINC-653 Compliance RTOS
IEICE Transactions on Information and Systems
Electronic Engineering
Pattern Recognition
Hardware
Computer Vision
Electrical
Architecture
Artificial Intelligence
Software
