A. Tankeu-Choitat

According to our database, A. Tankeu-Choitat authored at least 2 papers in 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing, 2011

Self-checking widgets for interactive cockpits.

A. Tankeu-Choitat, Jean-Charles Fabre, Philippe A. Palanque, David Navarre, Yannick Deleris

Proceedings of the 13th European Workshop on Dependable Computing, 2011