Formal Methods for Industrial Critical Systems: A Survey of Applications

Industrial

by: Stefania Gnesi · Tiziana Margaria

Paperback

ISBN: 978-0-470-87618-3

ISBN-10: 0-470-87618-2

Wiley-IEEE Computer Society Pr · 2012