• 85 Citations
  • 5 h-Index
20142019
If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Hoang Nga Nguyen is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Engineering & Materials Science

Model checking
Temporal logic
Application programs
Probabilistic logics
Semantics
Computability and decidability
Multi agent systems
Coating techniques
Bluetooth
Coastal zones
Rails
Engineers
Demonstrations
Formal methods
Communication
Testing
Air
Bridge approaches
Chemical analysis
Derailments
Scalability
Railroad cars
Availability