# Integrating Safety and Cybersecurity through Stochastic Model Checking

> EU Funded (H2020) Research Project

**Wikidata**: [Q100138396](https://www.wikidata.org/wiki/Q100138396)  
**Source**: https://4ort.xyz/entity/integrating-safety-and-cybersecurity-through-stochastic-model-checking