Jane Cleland-Huang, Mats per Erik Heimdahl, Jane Huffman Hayes, Robyn R. Lutz, Patrick Mäder,
"Trace Queries for Safety Requirements in High Assurance Systems"
: Requirements Engineering: Foundation for Software Quality - 18th International Working Conference, REFSQ 2012, Essen, Germany, March 19-22, 2012. Proceedings., Springer 2012, Seite(n) 179-193, 2012, ISBN: 978-3-642-28713-8
Original Titel:
Trace Queries for Safety Requirements in High Assurance Systems
Sprache des Titels:
Englisch
Original Buchtitel:
Requirements Engineering: Foundation for Software Quality - 18th International Working Conference, REFSQ 2012, Essen, Germany, March 19-22, 2012. Proceedings.