Knowledge Tree

researcher / Gerd Ritter

Gerd Ritter

at_id:

orcid_id:

Disciplines:

Electrical engineering

Edit Merge See Links

Thesis:

Vérification formelle d'équivalence des systèmes digitaux séquentiels par simulation symbolique