Keyword : preemptive scheduling systems

Case study of Modeling, Specification and Finite Model Checking for Preemptive Embedded Software
Shingo TAKINAI  Satoshi YAMANE 
Publication:   D - Abstracts of IEICE TRANSACTIONS on Information and Systems (Japanese Edition)
Publication Date: 2010/11/01
Vol. J93-D  No. 11  pp. 2403-2415
Type of Manuscript: PAPER
Category: 
Keyword: 
case study,  preemptive scheduling systems,  embedded software,  periodic tasks,  model checking, 
  Summary |  Full Text(in Japanese):PDF (474.7KB)