Information Flow Design and Verification for Networked Satellite Systems.

Published in: WISATS (1) (2019)

Keyphrases

information flow
knowledge based systems
building blocks
formal methods
flow analysis
information flows
information security
case study
formal verification
database
distributed systems
functional modules
multi threaded