Pastāsti draugiem par šo preci:
Verification of Autonomous Systems
Verification of Autonomous Systems
mso-fareast-language: EN-IN;">Individual aspects of the verification process like requirements and specification development, model tests, and integration tests are mapped into technical challenges related to modeling, testing, abstraction and verification tools.
| Mediji | Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku) |
| Izlaists | 2026. gada 11. aprīlis |
| ISBN13 | 9783031885457 |
| Izdevēji | Springer International Publishing AG |
| Lapas | 353 |
| Izmēri | 162 × 244 × 27 mm · 692 g |
| Valoda | Vācu |
| Redaktors | Redfield, Signe |
| Redaktors | Seto, Mae |
| Redaktors | Sofge, Donald |
| Redaktors | Sustersic, John |