Publication: D - Abstracts of IEICE TRANSACTIONS on Information and Systems (Japanese Edition)
Publication Date: 2007/03/01
Vol. J90-D
No. 3
pp. 848-861
Type of Manuscript: PAPER
Category:
Keyword:
resource scheduling design,
resource scheduling verification,
model checking,
tool,
embedded systems,
|
