Hung Ledang
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2001–2010
Best venue rank
National
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | TASE | Proving Model Transformations. | Hung Ledang, Hubert Dubois |
| 2007 | TASE | Timing and Concurrency Specification in Component-based Real-Time Embedded Systems Development. | Hung Ledang, Dang Van Hung |
| 2002 | APSEC | Integration of UML and B Specification Techniques: Systematic Transformation from OCL Expressions into B. | Hung Ledang, Jeanine Souquires |
| 2002 | IFM | Contributions for Modelling UML State-Charts in B. | Hung Ledang, Jeanine Souquires |
| 2001 | GI | Integrating UML and B Specification Techniques. | Hung Ledang, Jeanine Souquires |