Logikfehlersuche in der Mikroprozessor-Entwicklung - Armin Biere - deutsch untertitelt

  • 372 views

  • 0 favorites

Medienaktionen
  • hochgeladen 9. August 2024

Fehlersuche in Hardware-Entwürfen elektronischer Bauteile mittels SAT-Solvern

Referent/in:

Prof. Dr. Armin Biere


Mehr Medien in "Informatik"