Think Stitch
  最近の更新


CSP によるスケジューラのモデル化と優先度継承プロトコルによる優先度逆転問題への対処と検証

2017年9月23日に行われた第5回静的コード解析の会で発表した資料です.

CSP によるスケジューラのモデル化と優先度継承プロトコルによる優先度逆転問題への対処と検証 (PDF)

2017/9/24

© 2013-2017 PRINCIPIA Limited