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 “verification framework” 2

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Model-driven software development and verification solutions for safety critical battery management systems : a quantitative evaluation of probabilistic inference & artificial intelligence methods
2020 RWTH Publications (RWTH Aachen) book Engineering Advanced Battery Technologies Research Open access

Christian Fleischer

0

citations
Towards automatization of distance protection coordination and interoperability testing for digital substations; 1. Auflage
2025 RWTH Publications (RWTH Aachen) book Engineering Power Systems Fault Detection Open access

Thanakorn Penthong

0

citations

2 results