Your basket

1. Bridging UML and Safety-Critical Software Development Environments GBP 11.00
2. OTAWA, a Framework for Experimenting WCET Computations GBP 11.00
3. Towards the Verification of Model Transformations GBP 11.00

Subtotal (excluding shipping and tax) GBP 33.00

Proceed to checkout Continue shopping