Statistics
Publications
7
Citations
195
H-Index
7
Active since
2001
Hung Ledang is an author at Université de Lorraine specializing in computer science, formal methods, and uml modeling.
Publications per year
2001–2010
7
7
Hung Ledang, Hubert Dubois · 2010 · 39 citations
Formalizing UML Behavioral Diagrams with B
Hung Ledang, Jeanine Souquières · 2001 · 20 citations · Full text
1–5 of 7