A Aralex Aachen research explorer

June 20, 2025 conference-paper

A Formal Requirements Modeling Method Based on HVRM for Safety-Critical Systems

International Symposium on Advances in Electrical, Electronics and Computer Engineering (ISAEECE)

DOI: 10.1109/isaeece66033.2025.11160075 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