Thanh-Liem Phan

Publication Activity (10 Years)

Years Active: 2012-2015
Publications (10 Years): 1

Top Topics

Hardware Designs

Mathematical Models

Evolutionary Algorithm

Project Management

Top Venues

Publications

Thomas Lambolais, Anne-Lise Courbis, Hong-Viet Luong, Thanh-Liem Phan
Designing and Integrating Complex Systems: Be Agile Through Liveness Verification and Abstraction. CSDM (2015)
Anne-Lise Courbis, Thomas Lambolais, Hong-Viet Luong, Thanh-Liem Phan, Christelle Urtado, Sylvain Vauttier
A Formal Support for Incremental Behavior Specification In Agile Development. SEKE (2012)