Login / Signup
Ngo Minh Thang Nguyen
Publication Activity (10 Years)
Years Active: 2019-2023
Publications (10 Years): 2
Top Topics
Behavioral Models
Network Coding
Test Cases
Petri Net
Top Venues
FACS
ICST Workshops
</>
Publications
</>
Boutheina Bannour
,
Arnault Lapitre
,
Pascale Le Gall
,
Ngo Minh Thang Nguyen
Symbolic Path-Guided Test Cases for Models with Data and Time.
FACS
(2023)
Ngo Minh Thang Nguyen
,
Boutheina Bannour
,
Arnault Lapitre
,
Pascale Le Gall
Behavioral Models and Scenario Selection for Testing IoT Trickle-Based Lossy Multicast Networks.
ICST Workshops
(2019)