Self-checking widgets for interactive cockpits. - A. Tankeu-Choitat; Jean-Charles Fabre; Philippe A. Palanque; David Navarre; Yannick Deleris (EWDC, 2011)

Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques. - A. Tankeu-Choitat; David Navarre; Philippe A. Palanque; Yannick Deleris; Jean-Charles Fabre; Camille Fayollas (PRDC, 2011)