| 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... | 0 | 1 |