Travelled to:1 × Finland
1 × USA
Collaborated with:J.Souquières ∅
Talks about:uml (3) model (2) contribut (1) translat (1) behavior (1) diagram (1) automat (1) specif (1) applic (1) state (1)
Person: Hung Ledang
DBLP: Ledang:Hung
Contributed to:
2002
2001Wrote 3 papers:
- IFM-2002-LedangS #modelling #uml
- Contributions for Modelling UML State-Charts in B (HL, JS), pp. 109–127.
- ASE-2001-LeDang #automation #specification #uml
- Automatic Translation from UML Specifications to B (HL), p. 436.
- ASE-2001-LedangS #behaviour #diagrams #modelling #uml
- Modeling Class Operations in B: Application to UML Behavioral Diagrams (HL, JS), pp. 289–296.