我正在寻找有关安全关键系统开发技术/方法的好资源(书籍或其他书籍),尤其是涵盖硬件和软件的内容。我对C / C ++具有良好的工作知识,因此,即使只是SourceForge等上的代码,我仍然希望能够找到它的链接才能进行浏览。
谢谢。