A Aralex Aachen research explorer

November 01, 2022 conference-paper

Functional Logic Verification Method based on Probabilistic Model Checking

International Conference on Computer Science and Management Technology (ICCSMT)

DOI: 10.1109/iccsmt58129.2022.00042 OpenAlex

Authors 0

Author list not loaded yet.

Cited by 0 stored of 0

References 1

Model based systems engineering as enabler for rapid engineering change management
2021 Procedia CIRP article Engineering Systems Engineering Methodologies and Applications Open access

27

citations

1 result