Development of Safety-Critical Systems

EISBN:9783031279010
PISBN:9783031279003
出版社:Springer Nature
出版时间:2023
作者:Gopinath Karmakar,Amol Wakankar,Ashutosh Kabra,Paritosh Pandya
主题词:BISAC Category: Computers,Software Development & Engineering,General,Computers,Security,General
学科:Computer Science
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Directions in Safety-Critical Systems

  • 作者:Felix Redmill,Tom Anderson
  • EISBN:9781447120377
  • 出版社:Springer London
  • 出版时间:1993

Directions in Safety-Critical Systems

  • 作者:Felix Redmill,Tom Anderson
  • EISBN:9781447120377
  • 出版社:Springer London
  • 出版时间:1993

SafeScrum® – Agile Development of Safety-Critical Software

  • 作者:Geir Kjetil Hanssen,Tor Stålhane,Thor Myklebust
  • EISBN:9783319993348
  • 出版社:Springer International Publishing
  • 出版时间:2018

Mission-Critical and Safety-Critical Systems Handbook

  • 作者:Kim Fowler
  • PISBN:9780750685672
  • 出版时间:2009

Formal Techniques for Safety-Critical Systems

  • 作者:Cyrille Artho,Peter Csaba Ölveczky
  • EISBN:9783319295107
  • 出版社:Springer International Publishing
  • 出版时间:2016

Technology and Assessment of Safety-Critical Systems

  • 作者:Felix Redmill,Tom Anderson
  • EISBN:9781447120827
  • 出版社:Springer London
  • 出版时间:1994