Home › Entities › research_grant › Integrating Safety and Cybersecurity through Stochastic Model Checking

Integrating Safety and Cybersecurity through Stochastic Model Checking

EU Funded (H2020) Research Project
Event research_grant Q100138396
Press Enter · cited answer in seconds

Summary

Integrating Safety and Cybersecurity through Stochastic Model Checking is a Q12363077[1].

Key Facts

  • Integrating Safety and Cybersecurity through Stochastic Model Checking's instance of is recorded as Q12363077[2].
  • Integrating Safety and Cybersecurity through Stochastic Model Checking's instance of is recorded as science project[3].
  • Integrating Safety and Cybersecurity through Stochastic Model Checking took place at University of Twente[4].
  • Integrating Safety and Cybersecurity through Stochastic Model Checking began on June 1, 2020[5].
  • Integrating Safety and Cybersecurity through Stochastic Model Checking ended on May 31, 2025[6].
  • Integrating Safety and Cybersecurity through Stochastic Model Checking's short name is recorded as {'lang': 'en', 'text': 'CAESAR'}[7].
  • Integrating Safety and Cybersecurity through Stochastic Model Checking's budget is recorded as {'unit': 'euro', 'amount': '+2000000'}[8].
  • Integrating Safety and Cybersecurity through Stochastic Model Checking's funding scheme is recorded as Horizon 2020[9].

Body

When and Where

Integrating Safety and Cybersecurity through Stochastic Model Checking began on June 1, 2020[5]. It ended on May 31, 2025[6]. It took place at University of Twente[4].

Context

Recorded instance of include Q12363077[2] and science project[3].

References

Programmatic citations — every numbered marker resolves to a verifiable graph row below.

Direct Wikidata claims

  1. [2] ↑ . Retrieved . wikidata.org.
  2. [3] ↑ . Retrieved . wikidata.org.
  3. [4] ↑ . Retrieved . wikidata.org.
  4. [5] ↑ . Retrieved . wikidata.org.
  5. [6] ↑ . Retrieved . wikidata.org.
  6. [7] ↑ . Retrieved . wikidata.org.
  7. [8] ↑ . Retrieved . wikidata.org.
  8. [9] ↑ . Retrieved . wikidata.org.

Class ancestry

  1. [1] ↑ . Wikidata. wikidata.org.

📑 Cite this page

Use these citations when quoting this entity in research, articles, AI prompts, or wherever provenance matters. We aggregate Wikidata + Wikipedia + authoritative open-data sources; the stitched, scored, cross-referenced view is what 4ort.xyz contributes.

APA 4ort.xyz Knowledge Graph. (2026). Integrating Safety and Cybersecurity through Stochastic Model Checking. Retrieved October 10, 2026, from https://4ort.xyz/entity/integrating-safety-and-cybersecurity-through-stochastic-model-checking
MLA “Integrating Safety and Cybersecurity through Stochastic Model Checking.” 4ort.xyz Knowledge Graph, 4ort.xyz, 10 Oct. 2026, https://4ort.xyz/entity/integrating-safety-and-cybersecurity-through-stochastic-model-checking.
BibTeX @misc{4ortxyz_integrating-safety-and-cybersecurity-through-stochastic-model-checking_2026, author = {{4ort.xyz Knowledge Graph}}, title = {{Integrating Safety and Cybersecurity through Stochastic Model Checking}}, year = {2026}, url = {https://4ort.xyz/entity/integrating-safety-and-cybersecurity-through-stochastic-model-checking}, note = {Accessed: 2026-10-10}}
LLM prompt According to 4ort.xyz Knowledge Graph (aggregator of Wikidata, Wikipedia, and authoritative open-data sources): Integrating Safety and Cybersecurity through Stochastic Model Checking — https://4ort.xyz/entity/integrating-safety-and-cybersecurity-through-stochastic-model-checking (retrieved 2026-10-10)

Canonical URL: https://4ort.xyz/entity/integrating-safety-and-cybersecurity-through-stochastic-model-checking · Last refreshed:

Edit History

Rolling log of changes to this entity's Wikidata record. Values shown reflect the current state of each edited property — follow the history link to see the precise diff for any edit.

  1. 13d ago · MatSuBot bot · 2026-10-10 view diff on Wikidata ↗
    Short name → {'lang': 'en', 'text': 'CAESAR'}
    Wikidata description → EU Funded (H2020) Research Project
    Location → University of Twente
    Budget → {'unit': 'Q4916', 'amount': '+2000000'}
    + 9 other properties edited (see Wikidata diff for full list)
    "/* wbsetclaimvalue:1| */ Instance of: Q12363077, fix redirect research grant → Q12363077 ([[:toollabs:editgroups/b/CB/ee0bdd40968e|details]])"
Live feed via Wikidata EventStreams. New edits appear within minutes of being made on Wikidata.