Trace Queries for Safety Requirements in High Assurance Systems
Sprache des Vortragstitels:
Englisch
Original Tagungtitel:
Requirements Engineering: Foundation for Software Quality - 18th International Working Conference, REFSQ 2012, Essen, Germany, March 19-22, 2012. Proceedings.