Thanh-Liem Phan

According to our database, Thanh-Liem Phan authored at least 2 papers between 2012 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2015

Designing and Integrating Complex Systems: Be Agile Through Liveness Verification and Abstraction.

Thomas Lambolais, Anne-Lise Courbis, Hong-Viet Luong, Thanh-Liem Phan

Proceedings of the Complex Systems Design & Management, 2015

2012

A Formal Support for Incremental Behavior Specification In Agile Development.

Anne-Lise Courbis, Thomas Lambolais, Hong-Viet Luong, Thanh-Liem Phan, Christelle Urtado, Sylvain Vauttier

Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012