Improvement of septic tank effluent and green coverage by shallow bed wetland roof system
Vo, Thi-Dieu-Hien, Do, Thi-Bich-Ngoc, Bui, Xuan-Thanh, Nguyen, Van-Truc, Nguyen, Dinh-Duc, Sthiannopkao, Suthipong, Lin, Chitsan
Published in International biodeterioration & biodegradation (01.10.2017)
Published in International biodeterioration & biodegradation (01.10.2017)
Get full text
Journal Article
Coverage Testing of Industrial Simulink Models using Monte-Carlo and SMT-Based Methods
Ishii, Daisuke, Tomita, Takashi, Aoki, Toshiaki, Ngo, The Quyen, Do, Thi Bich Ngoc, Takai, Hideaki
Published in 2022 IEEE 22nd International Conference on Software Quality, Reliability and Security (QRS) (01.12.2022)
Published in 2022 IEEE 22nd International Conference on Software Quality, Reliability and Security (QRS) (01.12.2022)
Get full text
Conference Proceeding
Formal Model-Based Test for AUTOSAR Multicore RTOS
Ling Fang, Kitamura, Takashi, Thi Bich Ngoc Do, Ohsaki, H.
Published in 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation (01.04.2012)
Published in 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation (01.04.2012)
Get full text
Conference Proceeding
Combinatorial Testing for Tree-Structured Test Models with Constraints
Kitamura, Takashi, Yamada, Akihisa, Hatayama, Goro, Artho, Cyrille, Eun-Hye Choi, Do, Ngoc Thi Bich, Oiwa, Yutaka, Sakuragi, Shinya
Published in 2015 IEEE International Conference on Software Quality, Reliability and Security (01.08.2015)
Published in 2015 IEEE International Conference on Software Quality, Reliability and Security (01.08.2015)
Get full text
Conference Proceeding
Overflow and Roundoff Error Analysis via Model Checking
Do Thi Bich Ngoc, Ogawa, M.
Published in 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods (01.11.2009)
Published in 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods (01.11.2009)
Get full text
Conference Proceeding
SMT-Based Model Checking of Industrial Simulink Models
Ishii, Daisuke, Tomita, Takashi, Aoki, Toshiaki, Ngo, The Quyen, Do, Thi Bich Ngoc, Takai, Hideaki
Year of Publication 06.06.2022
Year of Publication 06.06.2022
Get full text
Journal Article
SMT-Based Model Checking of Industrial Simulink Models
Ishii, Daisuke, Tomita, Takashi, Aoki, Toshiaki, The Quyen Ngo, Thi Bich Ngoc Do, Takai, Hideaki
Published in arXiv.org (07.06.2022)
Get full text
Published in arXiv.org (07.06.2022)
Paper
Factors Influencing Startup Intention of Young People in Vietnam
Thi Thuy Trang, PHAM, Thi Bich Ngoc, TRAN
Published in The Journal of Asian finance, economics, and business (28.02.2023)
Get full text
Published in The Journal of Asian finance, economics, and business (28.02.2023)
Journal Article
9 개의 탄소 원자를 갖는 방향족을 전환시키기 위한 장치 및 방법
BOUCHY CHRISTOPHE, DANG THI BICH NGOC, PAGOT ALEXANDRE, COUPARD VINCENT
Year of Publication 07.08.2024
Get full text
Year of Publication 07.08.2024
Patent
액체-액체 추출 프로세스로부터 추출물 및/또는 라피네이트의 회수와 함께 방향족을 제조 및 분리하기 위한 유닛
COTTE ARNAUD, DANG THI BICH NGOC, DORSEY ANAIS, GAZARIAN JEREMY, ZHANG LI
Year of Publication 13.08.2024
Get full text
Year of Publication 13.08.2024
Patent