Tarnai, Geza books & textbook

FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems

Schnieder, Eckehard Tarnai, Geza

Springer /2014-09-29 Paperback / 268 Pages
isbn-10: 3642427162 / isbn-13: 9783642427169