![](/img/cover-not-exists.png)
[IEEE 22nd Digital Avionics Systems Conference. Proceedings - Indianapolis, IN, USA (2003.10.16-2003.10.16)] 22nd Digital Avionics Systems Conference Proceedings (Cat No 03CH37449) DASC-03 - Improve - HDL - a DO-254 formal property checker used for design and verification of avionics protocol controllers
Dellacherie,, Burgaud,, di Crescenzo,Year:
2003
Language:
english
DOI:
10.1109/dasc.2003.1245801
File:
PDF, 514 KB
english, 2003