The following pages link to (Q2984655):
Displaying 5 items.
- ModelPlex: verified runtime validation of verified cyber-physical system models (Q681465) (← links)
- IPL: an integration property language for multi-model cyber-physical systems (Q2024345) (← links)
- A probabilistic calculus of cyber-physical systems (Q2042728) (← links)
- Effectiveness assessment of cyber-physical systems (Q2302960) (← links)
- Co-verification approach to control software program for CPS (Q3132083) (← links)