| |
| 2007 | ||
|---|---|---|
| 6 | EE | Hung Ledang, Dang Van Hung: Timing and Concurrency Specification in Component-based Real-Time Embedded Systems Development. TASE 2007: 293-304 |
| 2002 | ||
| 5 | EE | Hung Ledang, Jeanine Souquières: Integration of UML and B Specification Techniques: Systematic Transformation from OCL Expressions into B. APSEC 2002: 495- |
| 4 | EE | Hung Ledang, Jeanine Souquières: Contributions for Modelling UML State-Charts in B. IFM 2002: 109-127 |
| 2001 | ||
| 3 | EE | Hung Ledang, Jeanine Souquières: Modeling Class Operations in B: Application to UML Behavioral Diagrams. ASE 2001: 289-296 |
| 2 | EE | Hung Ledang: Automatic Translation from UML Specifications to B. ASE 2001: 436 |
| 1 | Hung Ledang, Jeanine Souquières: Integrating UML and B Specification Techniques. GI Jahrestagung (1) 2001: 641-648 | |
| 1 | Dang Van Hung | [6] |
| 2 | Jeanine Souquières | [1] [3] [4] [5] |