FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems
by Eckehard Schnieder,Geza Tarnai
ISBN 13: 9783642427169
Format: Paperback (272 pages) Publisher: Springer Published: 29 Sep 2014
Save for later