You are here:
08: Social Sciences more PolyVer: Polynomial Verification of Electronic Circuits Prof. Dr. Rolf Drechsler, Faculty 03: Mathematics/Computer Science more Emmy Noether Groups Phenotyping bacterial microbiomes
Section: Research
entfernen. 2017 Symbolic Virtual Hardware/Firmware Co-verification Dr.-Ing. Hoang M. Le (Prof. Dr. Rolf Drechsler, Faculty 03: Mathematics / Computer Science) Nitrogen management in the making – Material practices