Pages that link to "Item:Q2042728"
From MaRDI portal
The following pages link to A probabilistic calculus of cyber-physical systems (Q2042728):
Displaying 4 items.
- A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces (Q831141) (← links)
- Measuring security in IoT communications (Q1731516) (← links)
- Special issue: Selected papers of the 11th international conference on language and automata theory and applications, LATA 2017 (Q2042717) (← links)
- A process calculus approach to detection and mitigation of PLC malware (Q2235740) (← links)
