L. Burgaud

Improve - HDL - a DO-254 formal property checker used for design and verification of avionics protocol controllers

S. Dellacherie, L. Burgaud, P. di Crescenzo, 2003, Digital Avionics Systems Conference, 2003. DASC '03. The 22nd.