Formal Methods for Safety and Security: Case Studies for Aerospace Applications

Aerospace

by: Manju Nanda · Yogananda Jeppu

Paperback

ISBN: 978-981-13-5054-2

ISBN-10: 981-13-5054-X

Springer · 2019

See also:
2017HardcoverFormal Methods for Safety and Security: Case Studies for Aerospace Applications