The following pages link to (Q5367043):
Displayed 8 items.
- A semantic theory of the Internet of things (Q1706144) (← links)
- Measuring security in IoT communications (Q1731516) (← links)
- A probabilistic calculus of cyber-physical systems (Q2042728) (← links)
- A process calculus approach to detection and mitigation of PLC malware (Q2235740) (← links)
- A formal approach to the engineering of domain-specific distributed systems (Q2291825) (← links)
- A type language for distributed reactive components governed by communication protocols (Q2693296) (← links)
- Security Metrics at Work on the Things in IoT Systems (Q3297843) (← links)
- On the security and safety of AbU systems (Q6045050) (← links)