A requirement-based systematic test-case generation method for safety-critical embedded systems / von Susanne Kandl. 2010
Inhalt