Search Links

Advanced Search
 

Links

Date: Updated   Submitted
Time Frame: All Time   Last 30 Days   Last 7 Days
Date Link Tags Clicks Descriptions Ratings
4 Jun 2013 Building Confidence in the Quality and Reliability of Critical Software

Techniques based on formal methods for verifying complex avionics systems.

Contributed by: Linda Webb
abstract in..., avionics so..., avionics sy..., code verifi..., critical so... 8 1

Contact us