Previous
Previous

Risk-Driven Derivation of Operation Checklists from Engineering Knowledge

Next
Next

Reasoning about Explanations for Non-validation in SHACL