To what extent formal methods are applicable for performance analysis of smart cyber-physical systems?
Lorenzo PagliariMirko D'AngeloMauro CaporuscioRaffaela MirandolaCatia TrubianiPublished in: ECSA (Companion) (2019)
Keyphrases
- formal methods
- cyber physical systems
- cyber physical
- cyber security
- smart grid
- physical world
- model checking
- social networks
- artificial intelligence
- knowledge based systems
- software engineering
- formal specification
- embedded systems
- virtual world
- software systems
- data mining
- security issues
- database systems
- information systems