登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

Dependable systems : software computing networks : research results of the DICS program
出版社：Berlin ; New York : Springer, c2006.
ISBN：3540368213
出版年：2006
作者：Kohlas,Jürg,
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Dependable software systems engineering
  • 作者：NATO Advanced Studies Institute on Dependable Software Systems Engineering
  • ISBN：9781614998099
  • 出版社：Amsterdam, Netherlands : IOS Press, 2017.
  • 出版年：2017
...

Dependable software systems engineering
  • 作者：NATO Advanced Study Institute (ASI) on Verification and Synthesis of Correct and Secure Systems
  • ISBN：9781614996262
  • 出版社：Amsterdam, Netherlands : IOS Press, 2016.
  • 出版年：2016
...

Dependable software systems engineering
  • 作者：NATO Advanced Study Institute on Dependable Software Systems Engineering
  • ISBN：9781614994947
  • 出版社：Amsterdam : IOS Press, 2015.
  • 出版年：2015
...

Foundations of dependable computing : models and frameworks for dependable systems
  • 作者：Koob,Gary,
  • ISBN：0792394844
  • 出版社：Boston : Kluwer Academic, c1994.
  • 出版年：1994
...

Engineering secure and dependable software systems
  • 作者：NATO Advanced Study Institute on Engineering Secure and Dependable Software Systems
  • ISBN：9781614999768
  • 出版社：Amsterdam, Netherlands ; Berlin ; Washington, DC : IOS Press, 2019.
  • 出版年：2019
...

Software for Dependable Systems sufficient evidence?
  • 作者：Jackson D. et al.
  • ISBN：0309103940
  • 出版社：Washington, D.C. : National Academies Press, 2007
  • 出版年：2007