Login / Signup

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

Thuy NguyenAlain Ourghanlian
Published in: DSN (2003)
Keyphrases
  • static analysis
  • safety critical
  • source code
  • database
  • real time
  • machine learning
  • artificial intelligence
  • knowledge base
  • case study
  • decision support system
  • dynamic analysis
  • safety analysis