Formal Methods for Industrial Critical Systems: A Survey of Applications

PISBN:9781118459898
出版社:John Wiley & Sons, Inc
出版时间:2012
作者:Gnesi
主题词:Physical Sciences & Engineering
语种:英语
所属数据库:Wiley电子图书
相关推荐

Formal Methods for Industrial Critical Systems

  • 作者:Anne E. Haxthausen,Wendelin Serwe
  • EISBN:9783031681509
  • 出版社:Springer Nature
  • 出版时间:2024

Formal Methods for Industrial Critical Systems

  • 作者:Stefan Kowalewski,Marco Roveri
  • EISBN:9783642158988
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2010

Formal Methods for Industrial Critical Systems

  • 作者:Darren Cofer,Alessandro Fantechi
  • EISBN:9783642032400
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2009

Formal Methods for Industrial Critical Systems

  • 作者:Jan Friso Groote;Marieke Huisman
  • EISBN:9783031150081
  • 出版社:Springer Nature
  • 出版时间:2022

Formal Methods for Industrial Critical Systems

  • 作者:Kim Guldstrand Larsen,Tim Willemse
  • EISBN:9783030270087
  • 出版社:Springer International Publishing
  • 出版时间:2019

Formal Methods for Industrial Critical Systems

  • 作者:Frédéric Lang,Francesco Flammini
  • EISBN:9783319107028
  • 出版社:Springer International Publishing
  • 出版时间:2014