skip to main content
Ngôn ngữ:
Giới hạn tìm kiếm: Giới hạn tìm kiếm: Dạng tài nguyên Hiển thị kết quả với: Hiển thị kết quả với: Chỉ mục

UML design verification based on model checking techniques

Kishi, Tomoji

http://repository.vnu.edu.vn/handle/VNU_123/14460

Truy cập trực tuyến

  • Nhan đề:
    UML design verification based on model checking techniques
  • Tác giả: Kishi, Tomoji
  • Chủ đề: UML; Software verification
  • Mô tả: 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.
  • Nơi xuất bản: ĐHCN
  • Năm xuất bản: 2007
  • Định dạng: application/pdf
  • Ngôn ngữ: English
  • Số nhận dạng: http://repository.vnu.edu.vn/handle/VNU_123/14460
Liên kết riêng
Trở lại danh sách kết quả

    DANH MỤC LIÊN HỆ
  Giới thiệu Tìm kiếm    Nhà C1T, Đại học Quốc gia Hà Nội
  Sản phẩm Sử dụng       144 Xuân Thủy, Cầu Giấy, Hà Nội
  Dịch vụ Hỏi đáp    (024) 3754 6545
  Tài liệu mở    lic@vnu.edu.vn

     ©2016 Library and Information Center, Vietnam National University, Hanoi. All Right Reserved.
     ©2016 Library and Information Center, Vietnam National University, Hanoi. All Right Reserved.
  Nhà C1T, Đại học Quốc gia Hà Nội
144 Xuân Thủy, Cầu Giấy, Hà Nội
  (024) 3754 6545    lic@vnu.edu.vn

Đang tìm Cơ sở dữ liệu bên ngoài...