Formal Methods for Safety and Security
Subtitle: Case Studies for Aerospace Applications
Publisher: Springer
Published: Nov 12, 2017
Format: hardcover
Number of pages: 132
ISBN-13: 9789811041204
Notes: Source title: Formal Methods for Safety and Security: Case Studies for Aerospace Applications