"Language for Unified Verification and Implementation for Distributed Avionics."

Benjamin F. Jones et al. (2018)

Details and statistics

DOI: 10.2514/1.I010598

access: closed

type: Journal Article

metadata version: 2024-03-20