|
[HDS12]
Brendan Hall, Kevin Driscoll and Kevin Schweike.
Verification and validation of distributed flight critical systems.
In Proc. IEEE/AIAA 31st Digital Avionics Systems Conference (DASC'12).
2012.
[Summarises Honeywell's work on a program for verification and validation of flight critical systems, including using PRISM to evaluate fault-tolerant protocols.]
|
|
Links:
[Google]
[Google Scholar]
|