Trace queries for safety requirements in high assurance systems
- Jane Cleland-Huang
- , Mats Heimdahl
- , Jane Huffman Hayes
- , Robyn Lutz
- , Patrick Maeder
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
36
Scopus
citations