Hung Tran Van

Early verification and validation of mission critical systems

Philippe Massonet, Christophe Ponsard, Axel van Lamsweerde, 2005, Formal Methods Syst. Des..

Goal-oriented requirements animation

Philippe Massonet, Christophe Ponsard, Axel van Lamsweerde, 2004, Proceedings. 12th IEEE International Requirements Engineering Conference, 2004..