Travelled to:1 × Canada
1 × Italy
Collaborated with:A.R.Cavalli P.Poizat F.Zaïdi
Talks about:system (2) choreographi (1) european (1) coordin (1) control (1) conform (1) servic (1) requir (1) passiv (1) formal (1)
Person: Huu Nghia Nguyen
DBLP: Nguyen:Huu_Nghia
Contributed to:
2014
2012Wrote 2 papers:
- SEKE-2014-NguyenC #case study #coordination #requirements #verification
- Formal Verification of Coordination Systems’ Requirements — A Case Study on the European Train Control System (HNN, ARC), pp. 393–396.
- SAC-2012-NguyenPZ #consistency #testing
- Passive conformance testing of service choreographies (HNN, PP, FZ), pp. 1528–1535.