DREAM & TEAM: A Tool and a Notation Supporting Exploration of Options and Traceability of Choices for Safety Critical Interactive Systems.

Xavier Lacaze, Philippe A. Palanque

Browse the full Interact paper archive.