Show simple item record

A formal verification technique for embedded software

dc.contributor.authorThiry, Olivier
dc.contributor.authorClaesen, Luc
dc.date.accessioned2021-09-29T15:32:14Z
dc.date.available2021-09-29T15:32:14Z
dc.date.issued1996
dc.identifier.urihttps://imec-publications.be/handle/20.500.12860/1532
dc.sourceIIOimport
dc.titleA formal verification technique for embedded software
dc.typeProceedings paper
dc.source.peerreviewno
dc.source.beginpage352
dc.source.endpage357
dc.source.conferenceProceedings International Conference on Computer Design. VLSI in Computers and Processors; Conference held 7-9 oct. 1996; Austin
dc.source.conferencelocation
imec.availabilityPublished - imec


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following collection(s)

Show simple item record