Browsing by Author "Thiry, Olivier"
Now showing 1 - 1 of 1
- Results per page
- Sort Options
Publication A formal verification technique for embedded software
;Thiry, OlivierClaesen, LucProceedings paper1996, Proceedings International Conference on Computer Design. VLSI in Computers and Processors; Conference held 7-9 oct. 1996; Austin, p.352-357