- OTAWA, a Framework for Experimenting WCET Computations GBP 11.00
- Towards the Verification of Model Transformations GBP 11.00
- Formal Verification Techniques in a Model-Based Development Process based on TargetLink generated C-Code GBP 11.00
- Combining Model-Driven Design With Diverse Formal Verification GBP 11.00
- Performance of EGR (Exhaust Gas Recirculation) Cooling on Direct Injection Diesel Engine GBP 11.00
- B-RAIL : Risk analysis and specification GBP 11.00
- Model Style Guidelines for Embedded Code Generation GBP 11.00
Subtotal (excluding shipping and tax) GBP 77.00