

Beschreibung
Provides a detailed treatment of control development, testing and verification of advanced driving functions and driver assistance systems Describes formal approaches to verification of such systems and at the same time presents real-world applications and ex...