Formal Framework for Safety, Security, and Availability of Aircraft Communication Networks.

Rohit Dureja Kristin Yvonne Rozier

Published in: J. Aerosp. Inf. Syst. (2020)

Keyphrases

communication networks
database
real world
social networks
data analysis
email
data model
management system
object oriented
distributed databases
formal model
wireless communication