Hung Tran Van

Publication Activity (10 Years)

Years Active: 2003-2022
Publications (10 Years): 1

Top Topics

Covariance Matrix

Top Venues

Appl. Comput. Intell. Soft Comput.

Publications

Thanh Han-Trong, Nam Ngo Duc, Hung Tran Van, Hung Pham-Viet
Direction of Arrival Estimation for Coherent Signals' Method Based on LSTM Neural Network. Appl. Comput. Intell. Soft Comput. 2022 (2022)
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 Syst. Des. 30 (3) (2007)
Christophe Ponsard, Philippe Massonet, André Rifaut, Jean-François Molderez, Axel van Lamsweerde, Hung Tran Van
Early Verification and Validation of Mission Critical Systems. Electron. Notes Theor. Comput. Sci. 133 (2005)
Hung Tran Van, Axel van Lamsweerde, Philippe Massonet, Christophe Ponsard
Goal-Oriented Requirements Animation. RE (2004)
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)