A Aralex Aachen research explorer

November 27, 2002 conference-paper

Resource-constrained non-operational testing of software

Proceedings/Proceedings - International Symposium on Software Reliability Engineering

DOI: 10.1109/issre.1998.730874 OpenAlex

Authors 0

Author list not loaded yet.

Cited by 1 stored of 30

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

References 0