Formal Methods for Safety and Security
Subtitle: Case Studies for Aerospace Applications
Publisher: Springer
Published: Jan 03, 2019
Format: paperback
Number of pages: 144
ISBN-13: 9789811350542
Notes: Source title: Formal Methods for Safety and Security: Case Studies for Aerospace Applications