Hai Nguyen Van
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2015–2020
Best venue rank
C
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | TIME | TESL: A Model with Metric Time for Modeling and Simulation. | Hai Nguyen Van, Frdric Boulanger, Burkhart Wolff |
| 2015 | MODELS | Towards a Formal Semantics of the TESL Specification Language. | Hai Nguyen Van, Thibaut Balabonski, Frdric Boulanger, Safouan Taha, Benot Valiron, Burkhart Wolff, Lina Ye |