Model Checking an OSEK/VDX-Based Operating System for Automobile Safety Analysis
CHOI, YunjaVolume:
E96.D
Year:
2013
Language:
english
Journal:
IEICE Transactions on Information and Systems
DOI:
10.1587/transinf.e96.d.735
File:
PDF, 583 KB
english, 2013