FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems
by
ISBN 13: 9783642142604
Format: Hardcover (268 pages) Publisher: Springer Published: 23 Feb 2011
Save for later