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

Verification and validation in systems engineering : assessing UML/SysML design models
出版社：Heidelberg ; New York : Springer, 2010.
ISBN：9783642152276
出版年：2010
作者：Debbabi,Mourad.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Systems engineering with SysML/UML : modeling, analysis, design
  • 作者：Weilkiens,Tim.
  • ISBN：9780123742742
  • 出版社：Amsterdam ; Boston : Morgan Kaufmann OMG Press/Elsevier, c2007.
  • 出版年：2007
...

Automated validation & verification of uml/ocl models using satisfiability solvers
  • 作者：Przigoda,Nils.
  • ISBN：9783319728131
  • 出版社：Cham, Switzerland : Springer, 2018.
  • 出版年：2018
...

Embedded systems : analysis and modeling with SysML, UML and AADL
  • 作者：Kordon,Fabrice.
  • ISBN：9781848215009
  • 出版社：Hoboken, NJ : ISTE Ltd/John Wiley and Sons Inc, c2013.
  • 出版年：2013
...

Verification, validation, and testing of engineered systems
  • 作者：Engel,Avner.
  • ISBN：9780470527511
  • 出版社：Hoboken, N.J. : Wiley, c2010.
  • 出版年：2010
...

The engineering design of systems : models and methods
  • 作者：Buede,Dennis M.
  • ISBN：9780470164020
  • 出版社：Hoboken, N.J. : John Wiley & Sons, c2009.
  • 出版年：2009
...

Verification and validation of modern software-intensive systems
  • 作者：Schulmeyer,G. Gordon.
  • ISBN：0130205842
  • 出版社：Upper Saddle River, NJ : Prentice Hall, 1999.
  • 出版年：1999