Browse by Author

Authors (A-Z) "Hoang, Thai Son"

13 Results for "Hoang, Thai Son"

Subscribe to RSS feed for this result set

1. A survey on event-b decomposition

Hoang, Thai Son, Iliasov, Alexei, Silva, Renato A. and Wei, Wei (2012)


Conference Contributions

2. Developing control systems with some fragile environment

Hoang, Thai Son and Hudon, Simon (2010)


Reports

3. Developing topology discovery in Event-B*

Hoang, Thai Son, Kuruma, Hironobu, Basin, David A. and Abrial, Jean-Raymond (2008)


Reports

4. Development of Control Systems Guided by Models of their Environment

Hudon, Simon and Hoang, Thai Son (2011)


Reports

5. Development of Rabin’s Choice Coordination Algorithm in Event-B

Yilmaz, Emre and Hoang, Thai Son (2010)


Conference Contributions

6. Event-B Decomposition for Parallel Programs

Hoang, Thai Son and Abrial, Jean-Raymond (2011)


Conference Contributions

7. Event-B development of the FindP program

Hoang, Thai Son and Abrial, Jean-Raymond (2009)


Reports

8. Event-B patterns and their tool support

Hoang, Thai Son, Fürst, Andreas and Abrial, Jean-Raymond (2012)


Reports

9. How to interpret failed proofs in Event-B

Hoang, Thai Son (2010)


Reports

10. Reasoning about Liveness Properties in Event-B

Hoang, Thai Son and Abrial, Jean-Raymond (2011)


Conference Contributions

11. Specifying access control in Event-B

Hoang, Thai Son, Basin, David A. and Abrial, Jean-Raymond (2009)


Reports

12. Technology Transfer within the DEPLOY Project

Basin, David A. and Hoang, Thai Son (2013)


Reports

13. Using the generalised substitution language for event-B semantics

Hoang, Thai Son and Fürst, Andreas (2010)


Reports