(1 - 25 von 25
)
Digitalisierung Archive - KIT-Gründernews
www.kit-gruendernews.de
Das Team von QPR Technologies (v.l.n.r.) obere Reihe: Robin Freyler, Dr. Carsten Sinz, Florian Merz, Dr. David Faragó, Felix Kutzner und Reimo Schaupp; ... › tag › digitalisierung
Start-up help for market-ready research: Helmholtz supports ...
www.helmholtz.de
— The founders Florian Merz and Carsten Sinz of the Karlsruhe Institute of Technology have been working on an automated software ... › article
SSV '10 Workshop Sessions
www.usenix.org
Ansgar Fehnker, NICTA and University of New South Wales. Refereed Paper. A Precise Memory Model for Low-Level Bounded Model Checking Carsten Sinz, Stephan Falke, and Florian Merz, Institute for Theoretical Computer Science, Karlsruhe Institute of Technology. Read the Abstract | Full paper | ...
sortiert nach Relevanz / Datum