Zur Hauptnavigation wechseln Zur Suche wechseln Zum Hauptinhalt wechseln

Trace Queries for Safety Requirements in High Assurance Systems

  • Patrick Mäder (Vortragende*r)

Aktivität: Vortrag oder Präsentation › Vortrag nach Bewerbung und Auswahl › unbekannt

Zeitraum20 März 2012
EreignistitelRequirements Engineering: Foundation for Software Quality - 18th International Working Conference, REFSQ 2012, Essen, Germany, March 19-22, 2012. Proceedings.
VeranstaltungstypKonferenz
OrtDeutschlandAuf Karte anzeigen

Wissenschaftszweige

  • 102006 Computer Supported Cooperative Work (CSCW)
  • 102007 Computeranimation
  • 102009 Computersimulation
  • 102 Informatik
  • 211913 Qualitätssicherung
  • 501013 Motivationspsychologie
  • 102015 Informationssysteme

JKU-Schwerpunkte

  • Computation in Informatics and Mathematics
  • TNF Allgemein