BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Finland
1 × Germany
1 × Italy
1 × United Kingdom
1 × Vietnam
Collaborated with:
J.Abrial A.Fürst S.Hudon S.Hallerstede D.A.Basin H.Kuruma K.Desai N.Sato K.Miyazaki
Talks about:
event (4) probabilist (1) discoveri (1) progress (1) topolog (1) support (1) pattern (1) generat (1) develop (1) concern (1)

Person: Thai Son Hoang

DBLP DBLP: Hoang:Thai_Son

Contributed to:

IFM 20142014
IFM 20132013
IFM 20092009
SEFM 20092009
IFM 20072007

Wrote 5 papers:

IFM-2014-FurstHBDSM #code generation
Code Generation for Event-B (AF, TSH, DAB, KD, NS, KM), pp. 323–338.
IFM-2013-HudonH #design
Systems Design Guided by Progress Concerns (SH, TSH), pp. 16–30.
IFM-2009-HoangKBA
Developing Topology Discovery in Event-B (TSH, HK, DAB, JRA), pp. 1–19.
SEFM-2009-HoangFA #tool support
Event-B Patterns and Their Tool Support (TSH, AF, JRA), pp. 210–219.
IFM-2007-HallerstedeH #modelling #probability
Qualitative Probabilistic Modelling in Event-B (SH, TSH), pp. 293–312.

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.