Author: Jean-François Molderez

Jean-François Molderez

Jean-François Molderez

Publications

Publication period start: 2003
Publication period end: 2003
Number of co-authors: 6

Co-authors

Number of publications with favourite co-authors
Pierre Stadnik
1
Axel van Lamsweerde
1
Hung Tran Van
1

Productive Colleagues

Most productive colleagues in number of publications
Philippe Massonet
6
Christophe Ponsard
8
Axel van Lamsweerde
15

Publications

Rifaut, André, Massonet, Philippe, Molderez, Jean-François, Ponsard, Christophe, Stadnik, Pierre, Lamsweerde, Axel van, Van, Hung Tran (2003): FAUST: Formal Analysis Using Specification Tools. In: 11th IEEE International Conference on Requirements Engineering RE 2003 8-12 September, 2003, Monterey Bay, CA, USA. pp. 350. http://csdl.computer.org/comp/proceedings/re/2003/1980/00/19800350abs.htm