Reducing Re-verification Effort by Requirement-Based Change Management

Oertel, Markus and Rettberg, Achim
Embedded Systems: Design, Analysis and Verification
2013
inproceedings
Springer Berlin Heidelberg
104-115
MBAT
Combined Model-based Analysis and Testing of Embedded Systems

OFFIS Autoren