Building Confidence in the Quality and Reliability of Critical Software

First submitted by Linda Webb on 4 Jun 2013

Techniques based on formal methods for verifying complex avionics systems.

10 clicks (last 30 days)

Descriptions and Ratings (1)

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

Contact us