Keyphrases
- reactive systems
- cyber physical systems
- cyber physical
- physical world
- model checking
- information flow
- cyber security
- temporal logic
- petri net
- formal methods
- embedded systems
- real time systems
- social networks
- control flow
- critical infrastructure
- case study
- software engineering
- real time
- expert systems
- artificial intelligence