Security- and safety-critical cyber-physical systems.
Atif MashkoorJohannes SametingerMiklós BiróAlexander EgyedPublished in: J. Softw. Evol. Process. (2020)
Keyphrases
- cyber physical systems
- safety critical
- embedded systems
- cyber security
- formal methods
- low cost
- fault tolerant
- physical world
- agent architecture
- critical infrastructure
- support systems
- access control
- software systems
- information security
- adaptive systems
- communication systems
- smart grid
- machine learning
- network security
- user interface
- multi agent systems