Andrew J. Kornecki, Janusz Zalewski. Hardware certification for real-time safety-critical systems: State of the art. Annual Reviews in Control, 34(1):163-174, 2010. [doi]
@article{KorneckiZ10,
title = {Hardware certification for real-time safety-critical systems: State of the art},
author = {Andrew J. Kornecki and Janusz Zalewski},
year = {2010},
doi = {10.1016/j.arcontrol.2009.12.003},
url = {http://dx.doi.org/10.1016/j.arcontrol.2009.12.003},
tags = {certification},
researchr = {https://researchr.org/publication/KorneckiZ10},
cites = {0},
citedby = {0},
journal = {Annual Reviews in Control},
volume = {34},
number = {1},
pages = {163-174},
}