Login / Signup

Timed Model-Based Formal Analysis of a Scheduler of Qplus-AIR, an ARINC-653 Compliance RTOS.

Sanghyun YoonDong-Ah LeeEunji PakTaeho KimJunbeom 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