Concepedia
Statistics
Publications
1
Citations
12
H-Index
Active since
2003
Burgaud is an author specializing in avionics verification, arinc 629, and arinc 429.
Publications per year
2003–2003
Improve - HDL - a DO-254 formal property checker used for design and verification of avionics protocol controllers
Dellacherie, Burgaud, di Crescenzo · 2003 · 12 citations
Engineering, Computer Engineering, Computer Science +17
1–1 of 1