| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| 8 |      | Hung Ledang, Hubert Dubois: Proving Model Transformations. TASE 2010: 35-44 |
| 2008 | ||
| 7 | | Hung Ledang, Hubert Dubois, Sébastien Gérard: Towards a traceability model in a MARTE-based methodology for real-time embedded systems. ISSE 4(3): 189-193 (2008) |
| 2007 | ||
| 6 | | Hung Ledang, Dang Van Hung: Timing and Concurrency Specification in Component-based Real-Time Embedded Systems Development. TASE 2007: 293-304 |
| 2002 | ||
| 5 | | Hung Ledang, Jeanine Souquières: Integration of UML and B Specification Techniques: Systematic Transformation from OCL Expressions into B. APSEC 2002: 495- |
| 4 | | Hung Ledang, Jeanine Souquières: Contributions for Modelling UML State-Charts in B. IFM 2002: 109-127 |
| 2001 | ||
| 3 | | Hung Ledang, Jeanine Souquières: Modeling Class Operations in B: Application to UML Behavioral Diagrams. ASE 2001: 289-296 |
| 2 | | 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 | Hubert Dubois | [7] [8] |
| 2 | Sébastien Gérard (Sebastien Gerard) | [7] |
| 3 | Dang Van Hung | [6] |
| 4 | Jeanine Souquières | [1] [3] [4] [5] |
Colors in the list of coauthors
Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page