Hung Tran Van

According to our database, Hung Tran Van authored at least 4 papers between 2003 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Direction of Arrival Estimation for Coherent Signals' Method Based on LSTM Neural Network.

Thanh Han-Trong, Nam Ngo Duc, Hung Tran Van, Hung Pham-Viet

Appl. Comput. Intell. Soft Comput., 2022

2004

Early Verification and Validation of Mission Critical Systems.

Christophe Ponsard, Philippe Massonet, André Rifaut, Jean-François Molderez, Axel van Lamsweerde, Hung Tran Van

Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems, 2004

Goal-Oriented Requirements Animation.

Hung Tran Van, Axel van Lamsweerde, Philippe Massonet, Christophe Ponsard

Proceedings of the 12th IEEE International Conference on Requirements Engineering (RE 2004), 2004

2003

FAUST: Formal Analysis Using Specification Tools.

André Rifaut, Philippe Massonet, Jean-François Molderez, Christophe Ponsard, Pierre Stadnik, Axel van Lamsweerde, Hung Tran Van

Proceedings of the 11th IEEE International Conference on Requirements Engineering (RE 2003), 2003