|
Search the dblp DataBase
Hung Tran Van:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- André Rifaut, Philippe Massonet, Jean-François Molderez, Christophe Ponsard, Pierre Stadnik, Axel van Lamsweerde, Hung Tran Van
FAUST: Formal Analysis Using Specification Tools. [Citation Graph (0, 0)][DBLP] RE, 2003, pp:350- [Conf]
- Hung Tran Van, Axel van Lamsweerde, Philippe Massonet, Christophe Ponsard
Goal-Oriented Requirements Animation. [Citation Graph (0, 0)][DBLP] RE, 2004, pp:218-228 [Conf]
- Christophe Ponsard, Philippe Massonet, André Rifaut, Jean-François Molderez, Axel van Lamsweerde, Hung Tran Van
Early Verification and Validation of Mission Critical Systems. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:133, n:, pp:237-254 [Journal]
- Christophe Ponsard, Philippe Massonet, Jean-François Molderez, André Rifaut, Axel van Lamsweerde, Hung Tran Van
Early verification and validation of mission critical systems. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2007, v:30, n:3, pp:233-247 [Journal]
Search in 0.001secs, Finished in 0.001secs
|