Language for Unified Verification and Implementation for Distributed Avionics
Jones, Benjamin F., Pike, Lee, Varadarajan, Srivatsan, Hall, BrendanVolume:
15
Language:
english
Journal:
Journal of Aerospace Information Systems
DOI:
10.2514/1.I010598
Date:
November, 2018
File:
PDF, 2.88 MB
english, 2018