Concepedia
Statistics
Publications
1
Citations
12
H-Index
Active since
2003
di Crescenzo is an author specializing in computer engineering, model simulation, and avionics certification.
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