|
Search the dblp DataBase
Hung Ledang:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Hung Ledang, Jeanine Souquières
Integration of UML and B Specification Techniques: Systematic Transformation from OCL Expressions into B. [Citation Graph (0, 0)][DBLP] APSEC, 2002, pp:495-0 [Conf]
- Hung Ledang, Jeanine Souquières
Integrating UML and B Specification Techniques. [Citation Graph (0, 0)][DBLP] GI Jahrestagung (1), 2001, pp:641-648 [Conf]
- Hung Ledang, Jeanine Souquières
Contributions for Modelling UML State-Charts in B. [Citation Graph (0, 0)][DBLP] IFM, 2002, pp:109-127 [Conf]
- Hung Ledang
Automatic Translation from UML Specifications to B. [Citation Graph (0, 0)][DBLP] ASE, 2001, pp:436- [Conf]
- Hung Ledang, Jeanine Souquières
Modeling Class Operations in B: Application to UML Behavioral Diagrams. [Citation Graph (0, 0)][DBLP] ASE, 2001, pp:289-296 [Conf]
- Hung Ledang, Dang Van Hung
Timing and Concurrency Specification in Component-based Real-Time Embedded Systems Development. [Citation Graph (0, 0)][DBLP] TASE, 2007, pp:293-304 [Conf]
Search in 0.001secs, Finished in 0.001secs
|