Subscribers can view annotate, and download all of SAE's content. Learn More »
Analyze This! Sound Static Analysis for Integration Verification of Large-Scale Automotive Software
2019-01-1246
Fault-Tree Generation for Embedded Software Implementing Dual-Path Checking
2011-01-1004