- Towards the Verification of Model Transformations GBP 11.00
- OTAWA, a Framework for Experimenting WCET Computations GBP 11.00
- Bridging UML and Safety-Critical Software Development Environments GBP 11.00
- Experimental Study of the Injection - Combustion Process on a D.I. Diesel Engine GBP 11.00
Subtotal (excluding shipping and tax) GBP 44.00