High assurance on cyber-physical interactive systems
Cyber-Physical Systems, as distributed systems of computational elements interacting with the physical world, are highly complex systems. They can, in many instances, be considered safety critical interactive systems, as errors in interaction can have disastrous consequences (consider the case of au...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | conferencePaper |
| Language: | eng |
| Published: |
2019
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1822/66939 |
| Country: | Portugal |
| Oai: | oai:repositorium.sdum.uminho.pt:1822/66939 |