Zur Hauptnavigation wechseln Zur Suche wechseln Zum Hauptinhalt wechseln

Deriving a State Model of a Control Program by Symbolic Execution

Publikation: Beitrag in Buch/Bericht/KonferenzbandKonferenzbeitragBegutachtung

OriginalspracheEnglisch
Titel16th IEEE International Conference on Industrial Informatics (INDIN'18)
Seiten754-759
Seitenumfang6
ISBN (elektronisch)9781538648292
DOIs
PublikationsstatusVeröffentlicht - Juli 2018

Wissenschaftszweige

  • 102 Informatik
  • 102009 Computersimulation
  • 102011 Formale Sprachen
  • 102013 Human-Computer Interaction
  • 102022 Softwareentwicklung
  • 102024 Usability Research
  • 102029 Praktische Informatik

JKU-Schwerpunkte

  • Computation in Informatics and Mathematics
  • TNF Allgemein

Dieses zitieren