A. Tankeu-Choitat, Jean-Charles Fabre, Philippe A. Palanque, David Navarre, Yannick Deleris. Self-checking widgets for interactive cockpits. In Felicita Di Giandomenico, editor, Proceedings of the 13th European Workshop on Dependable Computing, EWDC '11, Pisa, Italy, May 11-12, 2011. pages 43-48, ACM, 2011. [doi]
Abstract is missing.