Haitao Zhang, Toshiaki Aoki, Yuki Chiba
Yes! You Can Use Your Model Checker to Verify OSEK/VDX Applications
ICST, 2015.
@inproceedings{ICST-2015-ZhangAC,
author = "Haitao Zhang and Toshiaki Aoki and Yuki Chiba",
booktitle = "{Proceedings of the Eighth IEEE International Conference on Software Testing, Verification and Validation}",
doi = "10.1109/ICST.2015.7102612",
isbn = "978-1-4799-7125-1",
pages = "1--10",
publisher = "{IEEE}",
title = "{Yes! You Can Use Your Model Checker to Verify OSEK/VDX Applications}",
year = 2015,
}