Weiter zum Inhalt Weiter zur Fußzeile
  • Forschende (öffentliche Profile)
  • Veröffentlichungen
  • Projekte
  • Einrichtungen
  • Forschungsdaten
  • Aktivitäten
  • Zeitschriften
  • Auszeichnungen
  • Kurse
  • Statistik
  • Forschungsinfrastruktur
  • Presseberichte/Medien
  • Englisch
  • Deutsch
Website der Technischen Universität Dresden
  • FIS-Login
FIS-Logo

Forschungsportal der TU Dresden

  • Home
  • Veröffentlichungen
  • Reducing Runtime Overhead of Online Checks using Symbolic Ex...

Reducing Runtime Overhead of Online Checks using Symbolic Execution

Publikation: Beitrag in Fachzeitschrift › Konferenzartikel › Beigetragen

Beitragende

  • Martin Nowack - , Professur für Systems Engineering (SE) (Autor:in)
  • Christof Fetzer - , Professur für Systems Engineering (SE) (Autor:in)

Details

OriginalspracheEnglisch
FachzeitschriftEurosys Doctoral Workshop (EuroDW)
PublikationsstatusVeröffentlicht - 2013
Peer-Review-StatusNein

Schlagworte

Altmetric Attention Score

Forschungsportal der TU Dresden
  • Kontakt
  • FAQ
  • Twitter
  • Facebook
  • Youtube
  • Instagram
Die TU Dresden wird auf Grundlage des vom Sächsischen Landtag beschlossenen Haushalts aus Steuermitteln mitfinanziert.
  • Impressum
  • Datenschutz
  • Barrierefreiheit