Trace Queries for Safety Requirements in High Assurance Systems.

Jane Cleland-Huang, Mats Per Erik Heimdahl, Jane Huffman Hayes, Robyn R. Lutz, Patrick Maeder

Browse the full REFSQ paper archive.