Validation and Verification of Automated Systems Results of the ENABLE-S3 Project /
| Tác giả của công ty: | |
|---|---|
| Tác giả khác: | , , |
| Tóm tắt: | XI, 320 p. 143 illus., 132 illus. in color. text |
| Ngôn ngữ: | Tiếng Anh |
| Được phát hành: |
Cham :
Springer International Publishing : Imprint: Springer,
2020.
|
| Phiên bản: | 1st ed. 2020. |
| Những chủ đề: | |
| Truy cập trực tuyến: | https://doi.org/10.1007/978-3-030-14628-3 |
| Định dạng: | Điện tử Sách |