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
Related publications
Formal Testing of Timed and Probabilistic Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Scheduler of CNC-RGV System Based on STFF Model
A Comparative Analysis of RTOS and Linux Scalability on an Embedded Many-Core Processor
Journal of Information Processing
A Framework for Designing an Animated Simulation System Based on Model-Animator-Scheduler Paradigm
Developing a Formal Model of Argumentation-Based Dialogue
A Model-Based Privacy Compliance Checker
International Journal of e-Business Research
Computer Science Applications
Management Information Systems
A Practical Formal Model for Safety Analysis in Capability-Based Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Timed Diagnosability Analysis Based on Chronicles
IFAC Proceedings Volumes
UVHM: Model Checking Based Formal Analysis Scheme for Hypervisors
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
