
A framework for semi-automated formalization of automotive requirements
- Alaotsikko
- Development and Evaluation Second Edition
- ISBN
- 9786209629624
- Kieli
- englanti
- Paino
- 113 grammaa
- Julkaisupäivä
- 2.3.2026
- Kustantaja
- Lap Lambert Academic Publishing
- Sivumäärä
- 64