A Aralex Aachen research explorer

November 20, 2025 conference-paper

A Coverage Criterion for Continuous Dynamics in Hybrid Model-Based Testing

International Conference on Recent Advances in Mathematics and Informatics (ICRAMI)

DOI: 10.1109/icrami64946.2025.11472771 OpenAlex

Authors 0

Author list not loaded yet.

Cited by 0 stored of 0

References 1

Model-driven development for functional correctness of avionics systems: a verification framework for SysML specifications
2024 CEAS Aeronautical Journal article Computer Science Formal Methods in Verification Open access

14

citations

1 result