Project OFFIS

Your browser does not support JavaScript!

To use all the features of this page, you need JavaScript!<br> Please update your browser or enable JavaScript in your settings.

TECHNION Formal verification of VHDL-Based Real-Time Hardware Designs

Persons

Persons

Internal Leader

Werner Damm

Scientific Director

Werner Damm

Duration

Start: 31.12.1993
End: 30.12.1998

Privacy Data Transparency Contact Legals