Anne E. Haxthausen books
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Simon Collart-Dutilleul, Anne E. Haxthausen & Thierry Lecomte
$54.99
Applicable Formal Methods for Safe Industrial Products
Anne E. Haxthausen, Wen-ling Huang & Markus Roggenbach
$59.99
Theoretical Aspects of Computing - ICTAC 2008
John S. Fitzgerald, Anne E. Haxthausen & Husnu Yenigun
$99.99
