- Experiences in Using Model Checking to Verify Real Time Properties of a Landing Gear Control System GBP 11.00
- AUTOSAR and SysML A Natural Fit? GBP 11.00
- Comparison Of Excitation Concepts For The Characterization Of Brake Systems Robustness Regarding Squeal GBP 11.00
Subtotal (excluding shipping and tax) GBP 33.00