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

2012 Workshop on Dependable Transportation Systems/Recent Advances in Software Dependability (WDTS-R
出版社：Piscataway, N.J. : IEEE Computer Society, c2012.
ISBN：9781479903153
出版年：2012
作者：Workshop on Dependable Transportation Systems/Recent Advances in Software Dependability
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

2012 International Conference on Recent Advances in Computing and Software Systems (RACSS 2012) : Ch
  • 作者：International Conference on Recent Advances in Computing and Software Systems
  • ISBN：9781467302524
  • 出版社：Piscataway, N.J. : IEEE, c2012.
  • 出版年：2012
...

First International Workshop on Software Technologies for Future Dependable Distributed Systems (STF
  • 作者：International Workshop on Software Technologies for Future Dependable Distributed Systems
  • ISBN：9781424435654
  • 出版社：Piscataway, N.J. : IEEE, c2009.
  • 出版年：2009
...

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
...

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