BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × South Africa
1 × Spain
1 × USA
1 × Vietnam
Collaborated with:
J.Souquières H.A.Le S.Nakajima T.Trinh V.H.Nguyen T.Pham A.Truong W.Chin
Talks about:
use (3) system (2) event (2) consensus (1) behaviour (1) algorithm (1) properti (1) imprecis (1) element (1) coordin (1)

Person: Ninh-Thuan Truong

DBLP DBLP: Truong:Ninh=Thuan

Contributed to:

SAC 20152015
SEFM 20092009
SEFM 20082008
SAC 20052005

Wrote 4 papers:

SAC-2015-LeTN #requirements #using #verification
Verifying eventuality properties of imprecise system requirements using event-B (HAL, NTT, SN), pp. 1651–1653.
SEFM-2009-TruongTN #analysis #coordination #multi #using
Coordinated Consensus Analysis of Multi-agent Systems Using Event-B (NTT, TBT, VHN), pp. 201–209.
SEFM-2008-PhamTTC #algorithm #bound #java #memory management #performance
A Fast Algorithm to Compute Heap Memory Bounds of Java Card Applets (THP, AHT, NTT, WNC), pp. 259–267.
SAC-2005-TruongS #behaviour #modelling #uml #using #verification
Verification of behavioural elements of UML models using B (NTT, JS), pp. 1546–1552.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.