| 2007 |
|---|
| 4 | EE | Christophe Ponsard,
Philippe Massonet,
Jean-François Molderez,
André Rifaut,
Axel van Lamsweerde,
Hung Tran Van:
Early verification and validation of mission critical systems.
Formal Methods in System Design 30(3): 233-247 (2007) |
| 2005 |
|---|
| 3 | EE | Christophe Ponsard,
Philippe Massonet,
André Rifaut,
Jean-François Molderez,
Axel van Lamsweerde,
Hung Tran Van:
Early Verification and Validation of Mission Critical Systems.
Electr. Notes Theor. Comput. Sci. 133: 237-254 (2005) |
| 2004 |
|---|
| 2 | EE | Hung Tran Van,
Axel van Lamsweerde,
Philippe Massonet,
Christophe Ponsard:
Goal-Oriented Requirements Animation.
RE 2004: 218-228 |
| 2003 |
|---|
| 1 | EE | André Rifaut,
Philippe Massonet,
Jean-François Molderez,
Christophe Ponsard,
Pierre Stadnik,
Axel van Lamsweerde,
Hung Tran Van:
FAUST: Formal Analysis Using Specification Tools.
RE 2003: 350 |
