Phương pháp chuyển đổi qua lại giữa các đặc tả hình thức cho các hệ chuyển trạng thái
Chương 1 sẽ trình bày về bài toán tổng quan, bao gồm ngữ cảnh của bài toán, lý do chọn đề tài này. Chương 2 là nội dung kiến thức cơ bản bao gồm các khái niệm và định nghĩa cho các khái niệm được sử dụng trong luận văn. Nội dung chương 3 sẽ trình bày về các phương pháp kiểm chứng cho các thành phần...
Saved in:
Main Author: | Lê, Văn Hùng |
---|---|
Other Authors: | Phạm, Ngọc Hùng |
Format: | Theses and Dissertations |
Language: | Vietnamese |
Published: |
2020
|
Subjects: | |
Online Access: | http://repository.vnu.edu.vn/handle/VNU_123/72593 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Vietnam National University, Hanoi |
Language: | Vietnamese |
Similar Items
-
Tích hợp tri thức sử dụng các kỹ thuật tranh cãi
by: Nguyễn, Trần Vân, 1989-
Published: (2020) -
Nghiên cứu ngôn ngữ đặc tả yêu cầu theo hướng chuyên biệt miền
by: Trần, Trung Hà
Published: (2020) -
Một số cải tiến phương pháp kiểm chứng giả định – đảm bảo cho phần mềm dựa trên thành phần
by: Trần, Hoàng Việt
Published: (2020) -
Phân tích thiết kế hệ thống tái tạo chân dung đối tượng theo đặc tả của các nhân chứng
by: Phạm, Văn Dinh
Published: (2016) -
Ứng dụng kỹ thuật bảo mật trong Microsoft .Net vào hệ thống quản lý và luân chuyển văn bản nội bộ tại GPBank
by: Trần, Mạnh
Published: (2020)