Reasoning About Safety-Critical Information Flow Between Pilot and Computer.
Seth AhrenbachPublished in: NFM (2017)
Keyphrases
- information flow
- safety critical
- formal methods
- fault tolerant
- embedded systems
- information flows
- safety analysis
- supply chain
- communication networks
- social networks
- agent architecture
- support systems
- information security
- flow graph
- regulatory requirements
- computer systems
- artificial intelligence
- adaptive systems
- cooperative