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
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
Towards a syntactically and semantically enriched lexicon for Vietnamese processing
Nguyen, Thi Huyen, Huyen Nguyen, Thi Minh, Ngo, The Quyen, Nguyen, Minh Hai
Published in 2016 IEEE RIVF International Conference on Computing & Communication Technologies, Research, Innovation, and Vision for the Future (RIVF) (01.11.2016)
Published in 2016 IEEE RIVF International Conference on Computing & Communication Technologies, Research, Innovation, and Vision for the Future (RIVF) (01.11.2016)
Get full text
Conference Proceeding
A CLUSTERING TECHNIQUE FOR THE VIETNAMESE WORD CATEGORIZATION
Nguyễn Minh Hiệp, Nguyễn Thị Minh Huyền, Ngô Thế Quyền, Trần Thị Phương Linh
Published in Tạp chí Khoa học Đại học Đà Lạt (01.06.2016)
Published in Tạp chí Khoa học Đại học Đà Lạt (01.06.2016)
Get full text
Journal Article
MỘT KỸ THUẬT PHÂN CỤM CHO TỪ LOẠI TIẾNG VIỆT
Hiệp, Nguyễn Minh, Huyền, Nguyễn Thị Minh, Quyền, Ngô Thế, Linh, Trần Thị Phương
Published in Tạp chí Khoa học Đại học Đà Lạt (30.06.2016)
Published in Tạp chí Khoa học Đại học Đà Lạt (30.06.2016)
Get full text
Journal Article