Dependability Assessment of Safety-Critical System Software by Static Analysis Methods.

Thuy Nguyen, Alain Ourghanlian

Browse the full DSN paper archive.