scientific article; zbMATH DE number 7479208

DOI10.1080/13873954.2017.1298624zbMATH Open1485.93419MaRDI QIDQ5035705FDOQ5035705

Christian Schallert

Publication date: 22 February 2022

Title of this publication is not available (Why is that?)

zbMATH Keywords

graph algorithmsfailure probabilitysafety analysisminimal path setmodelling and simulation of failuresstate space simulation

Mathematics Subject Classification ID

Application models in control theory (93C95) Mathematical modeling or simulation for problems pertaining to systems and control theory (93-10)

Cites Work

• Depth-First Search and Linear Graph Algorithms
• Title not available (Why is that?)

Cited In (2)

• Ant colony optimization with partial order reduction for discovering safety property violations in concurrent models
• Mode-automata: A new domain-specific construct for the development of safe critical systems.

Uses Software

• Modelica

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5035705)