Dang, Hung Van, University of Engineering and Technology, VNU Hanoi, Viet Nam

  • Vol 32 No 1 (2016) - Special Issue for the 20th Anniversary of VNU-UET Faculty of Information Technology
    Towards Model-Checking Probabilistic Timed Automata against Probabilistic Duration Properties
    Abstract  PDF  Untitled
  • Vol 33 No 1 (2017) - Articles
    A Model for Real-time Concurrent Interaction Protocols in Component Interfaces
    Abstract  PDF