Verifying High-Integrity Control Software for Mission-Critical Emergency Diesel Generators

First submitted by Linda Webb on 21 Dec 2012

Polyspace code verifiers help MTU engineers eliminate run-time errors and meet IEC 60880 standards.

14 clicks (last 30 days)

Descriptions and Ratings (1)

Date Contributor Description Rating
Please login to add a description or rating.

Contact us