- 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
- Vital Software: Formal Method and Coded Processor GBP 11.00
Subtotal (excluding shipping and tax) GBP 55.00