Trace Queries for Safety Requirements in High Assurance Systems

  • Patrick Mäder (Speaker)

Activity: Talk or presentation › Contributed talk › unknown

Period20 Mar 2012
Event titleRequirements Engineering: Foundation for Software Quality - 18th International Working Conference, REFSQ 2012, Essen, Germany, March 19-22, 2012. Proceedings.
Event typeConference
LocationGermanyShow on map

Fields of science

  • 102006 Computer supported cooperative work (CSCW)
  • 102007 Computer animation
  • 102009 Computer simulation
  • 102 Computer Sciences
  • 211913 Quality assurance
  • 501013 Motivational psychology
  • 102015 Information systems

JKU Focus areas

  • Computation in Informatics and Mathematics
  • Engineering and Natural Sciences (in general)