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

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