The Future of Software Certification - A Roadmap

[摘要] We present some thoughts on how automated software analysis tools can support the certification of safety-critical software.

[发布日期] 2009-07-15 [发布机构]

[效力级别] [学科分类] 软件

[关键词] [时效性]

浏览次数：9