Gunter Blache
Handling index-out-of-bounds in safety-critical embedded C code using model-based development
MoDELS, 2016.
@inproceedings{MoDELS-2016-Blache,
acmid = "2976803",
author = "Gunter Blache",
booktitle = "{Proceedings of the 19th International Conference on Model Driven Engineering Languages and Systems}",
isbn = "978-1-4503-4321-3",
pages = "143--149",
publisher = "{ACM}",
title = "{Handling index-out-of-bounds in safety-critical embedded C code using model-based development}",
year = 2016,
}