Verification and Validation in Systems Engineering

EISBN:9783642152283
PISBN:9783642152276
出版社:Springer Berlin Heidelberg
出版类型:Monograph
出版时间:2010
作者:Mourad Debbabi,Fawzi Hassaïne,Yosr Jarraya,Andrei Soeanu,Luay Alawneh
主题词:Software Engineering,System Performance and Evaluation,Management of Computing and Information Systems
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Validation and Verification of Knowledge Based Systems

  • 作者:Anca Vermesan,Frans Coenen
  • EISBN:9781475769166
  • 出版社:Springer US
  • 出版时间:1999

Validation and Verification of Knowledge Based Systems

  • 作者:Anca Vermesan,Frans Coenen
  • EISBN:9781475769166
  • 出版社:Springer US
  • 出版时间:1999

Validation and Verification of Automated Systems

  • 作者:Andrea Leitner,Daniel Watzenig,Javier Ibanez-Guzman
  • EISBN:9783030146283
  • 出版社:Springer International Publishing
  • 出版时间:2020

Verification and Validation of Complex Systems: Human Factors Issues

  • 作者:John A. Wise,V. David Hopkin,Paul Stager
  • EISBN:9783662029336
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1993

Verification and Validation of Complex Systems: Human Factors Issues

  • 作者:John A. Wise,V.David Hopkin,Paul Stager
  • EISBN:9783662029336
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1993

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles

  • 作者:Tiziana Margaria,Bernhard Steffen
  • EISBN:9783030614706
  • 出版社:Springer International Publishing
  • 出版时间:2020