| http://repository.vnu.edu.vn/handle/VNU_123/14460 |
Thứ Sáu, 26 tháng 5, 2017
UML design verification based on model checking techniques
The advance of embedded computing technologies makes our society increasingly depend on these systems, and the reliability of the systems becomes more and more important for our daily life. Against this background, we have been examining the application of model checking techniques to embedded software design verification, and also developing a tool to support UML design verification. In my talk, I will explain our approach and tool, then emphasize the necessity of developing modeling techniques for design verification.
Đăng ký:
Đăng Nhận xét (Atom)
-
Trong kho tàng truyện cổ tích Việt Nam, Tấm Cám có thể xem là truyện cổ tích thần kì điển hình nhất với đầy đủ những đặc điểm thi... -
Huy Cận tên thật là Cù Huy Cận, sinh ngày 31-5-1919 tại xã Ân Phú, huyện Hương Sơn, tỉnh Hà Tĩnh (nay là huyện Ðức Thọ, tỉnh Hà Tĩnh).... -
Tạo công nghệ sản xuất phân bón hữu cơ từ lá mía hoặc phế phụ phẩm nông nghiệp bằng chế phẩm vi sinh vật : qua việc phân lập tuyển chọn một ...
Không có nhận xét nào:
Đăng nhận xét