- Verifying Timing Properties of Safety-Critical Embedded Software by Abstract Interpretation GBP 11.00
- New Ideas in Combustion Systems for SI Piston Engines GBP 11.00
- AutoMoDe A Transformation Based Approach for the Model-based Design of Embedded Automotive Software GBP 11.00
- Formal and Efficient Verification Techniques for Real-Time UML Models GBP 11.00
Subtotal (excluding shipping and tax) GBP 44.00