A Aralex Aachen research explorer

Search

From

To

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Papers matching “HOL4” 1

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

A Hybrid Model Checking and Theorem Proving based Approach for Fault Tree Analysis
2022 International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design conference-paper Engineering Safety Systems Engineering in Autonomy

Shahid Ali Khan, Waqar Ahmad, Osman Hasan

0

citations

1 result