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