David Navarre, Philippe A. Palanque, Eric Barboni, Tomasz Mistrzyk. On the Benefit of Synergistic Model-Based Approach for Safety Critical Interactive System Testing. In Marco Winckler, Hilary Johnson, Philippe A. Palanque, editors, Task Models and Diagrams for User Interface Design, 6th International Workshop, TAMODIA 2007, Toulouse, France, November 7-9, 2007, Proceedings. Volume 4849 of Lecture Notes in Computer Science, pages 140-154, Springer, 2007. [doi]
Abstract is missing.