- Model Style Guidelines for Embedded Code Generation GBP 11.00
- Experiences in Using Model Checking to Verify Real Time Properties of a Landing Gear Control System GBP 11.00
- Modelling Distributed Integrated Modular Systems Using the UML and the SysML GBP 11.00
Subtotal (excluding shipping and tax) GBP 33.00