Handling index-out-of-bounds in safety-critical embedded C code using model-based development
Crossref DOI link: https://doi.org/10.1007/s10270-018-0697-y
Published Online: 2018-10-09
Published Print: 2019-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Blache, Gunter
Text and Data Mining valid from 2018-10-09
Article History
Received: 15 March 2017
Revised: 18 July 2018
Accepted: 21 September 2018
First Online: 9 October 2018