- Formal Verification Techniques in a Model-Based Development Process based on TargetLink generated C-Code GBP 11.00
Subtotal (excluding shipping and tax) GBP 11.00
Promoting excellence in mobility engineering
Subtotal (excluding shipping and tax) GBP 11.00