Hung Ledang

Publication Activity (10 Years)

Years Active: 2001-2010
Publications (10 Years): 0

Publications

Hung Ledang, Hubert Dubois
Proving Model Transformations. TASE (2010)
Hung Ledang, Hubert Dubois, Sébastien Gérard
Towards a traceability model in a MARTE-based methodology for real-time embedded systems. Innov. Syst. Softw. Eng. 4 (3) (2008)
Hung Ledang, Dang Van Hung
Timing and Concurrency Specification in Component-based Real-Time Embedded Systems Development. TASE (2007)
Hung Ledang, Jeanine Souquières
Contributions for Modelling UML State-Charts in B. IFM (2002)
Hung Ledang, Jeanine Souquières
Integration of UML and B Specification Techniques: Systematic Transformation from OCL Expressions into B. APSEC (2002)
Hung Ledang
Automatic Translation from UML Specifications to B. ASE (2001)
Hung Ledang, Jeanine Souquières
Integrating UML and B Specification Techniques. GI Jahrestagung (1) (2001)
Hung Ledang, Jeanine Souquières
Modeling Class Operations in B: Application to UML Behavioral Diagrams. ASE (2001)