A. Tankeu-Choitat

Publication Activity (10 Years)

Years Active: 2011-2011
Publications (10 Years): 0

Publications

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