Skip to content

Thanh Liem Phan

  • PhD Candidate
  • PhD Candidate
  • LGI2P, Ecole des Mines d'Ales
  • 249PublicationsNumber of items in Thanh Liem's My Publications folder on Mendeley.
  • 6Followers

Research interests

LOTOSprocess algebrasoftware architectureincremental developmentsoftware verificationUML

Followers (6)

Following (6)

Publications (5)

  • A Graphical Parallel Composition Operator for Process Algebras

    • Garavel H
    • Sighireanu M
    N/AReaders
    N/ACitations
  • Model Driven Engineering Languages and Systems

    • Czarnecki K
    • Ober I
    • Bruel J
    • et al.
    N/AReaders
    N/ACitations
    Get full text
  • Separation of Synchronous and Asynchronous Communication Via Testing

    • Cacciagrano D
    • Corradini F
    • Palamidessi C
    N/AReaders
    N/ACitations
    Get full text
  • Construction incrémentale de modèles comportementaux UML

    • Gout O
    • Lambolais T
    N/AReaders
    N/ACitations
  • Specification and Analysis of Asynchronous Systems using CADP

    • Mateescu R
    N/AReaders
    N/ACitations

Professional experience

PhD Candidate

LGI2P, Ecole des Mines d'Ales

February 2010 - Present

Lecturer of School of Informaion and Communication Technology

Hanoi University of Science and Technology

March 2008 - Present

Researcher of Library Informartion Network Center

Hanoi University of Science and Technology

September 2004 - February 2008(3 years)