- Verifying Timing Properties of Safety-Critical Embedded Software by Abstract Interpretation GBP 11.00
- AutoMoDe A Transformation Based Approach for the Model-based Design of Embedded Automotive Software GBP 11.00
Subtotal (excluding shipping and tax) GBP 22.00