Yunja CHOI


Model Checking an OSEK/VDX-Based Operating System for Automobile Safety Analysis
Yunja CHOI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2013/03/01
Vol. E96-D  No. 3  pp. 735-738
Type of Manuscript:  LETTER
Category: Dependable Computing
Keyword: 
OSEK/VDXTrampolinemodel checkingsafety analysis
 Summary | Full Text:PDF(582.5KB)