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

Software Safety and Security : tools for analysis and verification
出版社：Washington, DC : IOS Press, 2012.
ISBN：9781614990277
出版年：2012
作者：NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Engineering methods and tools for software safety and security
  • 作者：NATO Advanced Study Institute on Engineering Methods and Tools for Software Safety and Security
  • ISBN：9781586039769
  • 出版社：Amsterdam, Netherlands ; Washington, DC : IOS Press, c2009.
  • 出版年：2009
...

Reliability, safety, and security of railway systems : modelling, analysis, verification, and certif
  • 作者：RSSRail 2023
  • ISBN：9783031433658
  • 出版社：Cham : Springer, 2023.,Cham, Switzerland : Springer, 2023.
  • 出版年：2023
...

Reliability, safety, and security of railway systems : modelling, analysis, verification, and certif
  • 作者：RSSRail 2019
  • ISBN：9783030187439
  • 出版社：Cham, Switzerland : Springer, 2019.
  • 出版年：2019
...

Reliability, safety, and security of railway systems : modelling, analysis, verification, and certif
  • 作者：RSSRail 2022
  • ISBN：9783031058134
  • 出版社：Cham, Switzerland : Springer, 2022.
  • 出版年：2022
...

Reliability, safety, and security of railway systems : modelling, analysis, verification, and certif
  • 作者：RSSRail 2017
  • ISBN：9783319684987
  • 出版社：Cham, Switzerland : Springer, 2017.
  • 出版年：2017
...

Reliability, safety, and security of railway systems : modelling, analysis, verification, and certif
  • 作者：RSSRail 2016
  • ISBN：9783319339504
  • 出版社：Switzerland : Springer, 2016.
  • 出版年：2016