High Assurance on Cyber-Physical Interactive Systems.
Rui CoutoJosé Creissac CamposPublished in: EICS Workshops (2019)
Keyphrases
- interactive systems
- cyber physical
- high assurance
- social networks
- software systems
- fault tolerant
- physical world
- operating system
- distributed systems
- human computer interaction
- access control
- situation awareness
- physical space
- cyber physical systems
- user interface
- real time
- artificial intelligence
- digital entertainment
- ubiquitous computing
- intelligent tutoring systems
- social network analysis
- learning systems
- high level
- case study