| Date | Link | Tags | Clicks | Descriptions | Ratings |
|---|---|---|---|---|---|
| 21 Dec 2012 |
Verifying High-Integrity Control Software for Mission-Critical Emergency Diesel Generators
Polyspace code verifiers help MTU engineers eliminate run-time errors and meet IEC 60880 standards. Contributed by: Linda Webb
|
high-integr..., iec 60880, run-time er..., software ve..., tool qualif... | 3 | 1 |