Hung Ledang

	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

Coauthor Index

1	Dang Van Hung	[6]
2	Jeanine Souquières	[1] [3] [4] [5]

Colors in the list of coauthors