• DocumentCode
    1612580
  • Title

    Dependability assessment of safety-critical system software by static analysis methods

  • Author

    Nguyen, Thuy ; Ourghanlian, Alain

  • Author_Institution
    EDF R&D
  • fYear
    2003
  • Firstpage
    75
  • Lastpage
    79
  • Keywords
    Cost function; Failure analysis; Logic testing; Research and development; Runtime; Software measurement; Software performance; Software safety; Software tools; System software;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Dependable Systems and Networks, 2003. Proceedings. 2003 International Conference on
  • Print_ISBN
    0-7695-1952-0
  • Type

    conf

  • DOI
    10.1109/DSN.2003.1209918
  • Filename
    1209918