Your basket

1. Additional Heating System Based on an A/C Loop GBP 11.00
2. Experiences in Using Model Checking to Verify Real Time Properties of a Landing Gear Control System GBP 11.00

Subtotal (excluding shipping and tax) GBP 22.00

Proceed to checkout Continue shopping