ACM/IEEE Ninth International Conference on Formal Methods and Models for Codesign (MemoCODE)

  • Georg Hofferek (Redner/in)

Aktivität: Vortrag oder PräsentationVortrag bei Konferenz oder FachtagungScience to science

Beschreibung

Talk: Controller Synthesis for Pipelined Circuits Using Uninterpreted Functions
Zeitraum11 Juli 2011
EreignistitelACM/IEEE Ninth International Conference on Formal Methods and Models for Codesign (MemoCODE)
VeranstaltungstypKonferenz