Automated Validation and Verification of Railway Specific Components and Systems
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Sebastian Kinder
Themen in »Automated Validation and Verification of Railway Specific Components and Systems«
Control Systems Formal Methods Railautomation Railway Tram
Stimmen zu »Automated Validation and Verification of Railway Specific Components and Systems«
Details
ISBN: 9783832270438
Verlag: Shaker
Erscheinung: 03.2008