Pages that link to "Item:Q5738991"
From MaRDI portal
The following pages link to A Calculus of Cyber-Physical Systems (Q5738991):
Displayed 5 items.
- A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces (Q831141) (← links)
- A semantic theory of the Internet of things (Q1706144) (← links)
- A probabilistic calculus of cyber-physical systems (Q2042728) (← links)
- A process calculus approach to detection and mitigation of PLC malware (Q2235740) (← links)
- A Calculus of Cyber-Physical Systems (Q5738991) (← links)