Information Flow for Timed Automata.
Flemming NielsonHanne Riis NielsonPanagiotis VasilikosPublished in: Models, Algorithms, Logics and Tools (2017)
Keyphrases
- information flow
- timed automata
- model checking
- reachability analysis
- theorem prover
- social networks
- flow analysis
- first order logic
- theorem proving
- communication networks
- information flows
- supply chain
- information security
- flow graph
- functional modules
- real time systems
- reactive systems
- multi threaded
- information systems
- case study
- databases