Engineering methods and tools for software safety and security

出版社:Amsterdam, Netherlands ; Washington, DC : IOS Press, c2009.
ISBN:9781586039769
出版年:2009
作者:NATO Advanced Study Institute on Engineering Methods and Tools for Software Safety and Security
资源类型:图书
细分类型:西文文献
相关推荐

Software Safety and Security : tools for analysis and verification

  • 作者:NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security
  • ISBN:9781614990277
  • 出版社:Washington, DC : IOS Press, 2012.
  • 出版年:2012

Software engineering : methods, management, and CASE tools

  • 作者:Sodhi,Jag.
  • ISBN:0830634428
  • 出版社:Blue Ridge Summit, PA : Tab Professional and Reference Books, c1991.
  • 出版年:1991

Safety and security engineering III

  • 作者:International Conference on Safety and Security Engineering
  • ISBN:9781845641931
  • 出版社:Southampton ; Boston : WIT ; Billerica, MA : Computational Mechanics, 2009.
  • 出版年:2009

Automated tools for software engineering : tutorial

  • 作者:Miller,Edward
  • 出版社:N.Y. : IEEE, c1979
  • 出版年:1979

Systems Integrity,Software Safety and Process Security

  • 作者:National Institute of Standards
  • ISBN:实价
  • 出版社:IEEE Aerospace and Electronic Systems Society National Capital Area Council 1989
  • 出版年:1989

Systems Integrity,Software Safety and Process Security

  • 作者:National Institute of Standards
  • 出版社:IEEE Aerospace and Electronic Systems Society National Capital Area Council 1989
  • 出版年:1989