Search results for: Thanh-Hung Nguyen
Rocznik Ochrona Środowiska > 2020 > Tom 22, cz. 2 > 1044--1057
Nuclear Engineering and Design > 2017 > 316 > C > 75-88
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Model Checking > 64-79
Lecture Notes in Computer Science > NASA Formal Methods > Tool Papers > 453-458
Lecture Notes in Computer Science > Software Engineering and Formal Methods > Regular Papers > 204-220
Ecotoxicology and Environmental Safety > 2016 > 125 > C > 102-106
Software & Systems Modeling > 2016 > 15 > 2 > 427-451
Software & Systems Modeling > 2015 > 14 > 1 > 173-199
IEEE Transactions on Industry Applications > 2014 > 50 > 1 > 244 - 252
Formal Methods in Computer Aided Design > 257 - 256