Nhat-Hoa TRAN


Model Checking in the Presence of Schedulers Using a Domain-Specific Language for Scheduling Policies
Nhat-Hoa TRAN Yuki CHIBA Toshiaki AOKI 
Publication:   
Publication Date: 2019/07/01
Vol. E102-D  No. 7  pp. 1280-1295
Type of Manuscript:  PAPER
Category: Software System
Keyword: 
concurrent systemmodel checkingdomain-specific languagesystem behaviorsscheduler
 Summary | Full Text:PDF