- Experimentation of Timed Observers for Avionics Models Validation GBP 11.00
- Edroom: A Free Tool for the UML2 Component Based Design and Automatic Code Generation of Tiny Embedded Real Time System GBP 11.00
- The Catalytic Nitrogen Oxides Reduction in Diesel Exhaust Gases GBP 11.00
- A Predictive Model for Hybrid Combustion in a Diesel Engine GBP 11.00
- Formal Verification of Hand-Coded Software Some Industrial Experiments and Lessons Learnt GBP 11.00
Subtotal (excluding shipping and tax) GBP 55.00