 | 2007 |
|---|
| 4 |       | 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 | | 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 | | Jean-François Molderez,
Christophe Ponsard:
Deriving Acceptance Tests from Goal Requirements.
MOZ 2004: 78-88 |
| 2003 |
|---|
| 1 | | 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 |
