Login / Signup
Timed Model-Based Formal Analysis of a Scheduler of Qplus-AIR, an ARINC-653 Compliance RTOS.
Sanghyun Yoon
Dong-Ah Lee
Eunji Pak
Taeho Kim
Junbeom Yoo
Published in:
IEICE Trans. Inf. Syst. (2017)
Keyphrases
</>
formal analysis
petri net
agent model
scheduling algorithm
formal methods
ban logic
black box
discrete event
database
databases