机读格式显示(MARC)

• 000 01323nam0 2200265 450

• 001 0000822420

• 005 20250822092300.0

• 010 __ |a 978-7-118-13655-5 |b 精装 |d CNY128.00

• 100 __ |a 20250716d2025 em y0chiy50 ea

• 101 1_ |a chi |c eng

• 102 __ |a CN |b 110000

• 105 __ |a a z 000yy

• 106 __ |a r

• 200 1_ |a 系统工程中的验证和确认 |A Xi Tong Gong Cheng Zhong De Yan Zheng He Que Ren |e 评估UML/SysML设计模型 |d = Verification and validation in systems engineering |e assessing UML/SysML design models |f (加)穆拉德·德巴比(Mourad Debbabi)[等]编著 |g 江洋溢[等]译 |z eng

• 210 __ |a 北京 |c 国防工业出版社 |d 2025

• 215 __ |a 18,229页 |c 图 |d 24cm

• 304 __ |a 编著者还有：(加)法齐·哈桑(Fawzi Hassaine)、(加)约萨尔·贾拉亚(Yosr Jarraya)、(加)安德烈·索亚努(Andrei Soeanu)、(加)卢埃·埃尔万内(Luay Alawneh)

• 330 __ |a 本书介绍了通过数学方法验证系统模型是否符合预期需求和规范的方法，开展基于系统模型的形式化分析，以期解决高端装备和复杂体系设计与评估问题，确保在各种场景和边界条件下所设计的系统都能正确运行。

• 510 1_ |a Verification and validation in systems engineering |e assessing UML/SysML design models |z eng

• 606 0_ |a 系统工程 |A Xi Tong Gong Cheng |x 研究

• 690 __ |a N945 |v 5

• 701 _0 |a 德巴比 |A De Ba Bi |4 编著

• 702 _0 |a 江洋溢 |A Jiang Yang Yi |4 译

• 801 _0 |a CN |b WFKJXY |c 20250822

• 905 __ |a WFKJXY |d N945/15