Author: Hung Tran Van
Publication Overview
Publication period start: 2004
Number of co-authors: 6
Co-Authors
Number of publications with favourite co-authors
Productive Colleagues
Most productive colleagues in number of publications
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.
https://csdl.computer.org/comp/proceedings/re/2003/1980/00/19800350abs.htm
Van,
Hung Tran,
Lamsweerde,
Axel van,
Massonet,
Philippe,
Ponsard,
Christophe
(2004):
Goal-Oriented Requirements Animation.
In:
12th IEEE International Conference on Requirements Engineering RE 2004
6-10 September,
2004,
Kyoto, Japan.
pp. 218-228.
https://doi.ieeecomputersociety.org/10.1109/RE.2004.24