Repository logo Institutional repository
  • Communities & Collections
  • Scientific publicationsOpen knowledge
Search repository
High contrast
  1. Home
  2. Browse by Author

Browsing by Author "Thiry, Olivier"

Filter results by typing the first few letters
Now showing 1 - 1 of 1
  • Results per page
  • Sort Options
  • Loading...
    Thumbnail Image
    Publication

    A formal verification technique for embedded software

    Thiry, Olivier
    ;
    Claesen, Luc
    Proceedings paper
    1996, Proceedings International Conference on Computer Design. VLSI in Computers and Processors; Conference held 7-9 oct. 1996; Austin, p.352-357

Follow imec on

VimeoLinkedInFacebook

The repository

  • Contact us
  • Policy
  • About imec
Privacy statement | Cookie settings