Kiểm chứng hình thức cho hệ thống tương tranh sử dụng ngôn ngữ đặc tả CSP # và công cụ pat

Kiểm chứng hình thức cho hệ thống tương tranh sử dụng ngôn ngữ đặc tả CSP # và công cụ pat

Saved in:

書目詳細資料
主要作者:	Nguyễn, Văn Trãi
其他作者:	Nguyễn, Trường Thắng
格式:	Theses and Dissertations
語言:	Vietnamese
出版:	Đại học Công nghệ 2017
主題:	Kiểm chứng hình thức Hệ thống tương tranh Công nghệ phần mềm Ngôn ngữ đặc tả CSP Công cụ Pat
在線閱讀:	http://repository.vnu.edu.vn/handle/VNU_123/41518
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

相似書籍

Nghiên cứu về đặc tả và kiểm chứng ràng buộc thời gian giữa các thành phần trong chương trình tương tranh
由: Phạm, Thanh Hải
出版: (2016)

Giải quyết tranh chấp hợp đồng mua bán chung cư ở Việt Nam từ quan điểm bảo vệ người tiêu dùng
由: Phan, Thị Thanh Thủy
出版: (2019)

Kiểm chứng từng phần cho chương trình C
由: Hoàng, Mạnh Khôi, et al.
出版: (2016)

Kiểm chứng dịch vụ Web với logic thời gian
由: Đào, Thị Hường
出版: (2017)

Nghiên cứu khả năng chuyển đổi giữa các đặc tả hình thức và ứng dụng trong kiểm chứng phần mềm
由: Đậu, Quốc Toản
出版: (2016)

Về vấn đề nhóm tộc người Tà Mun
由: Phan, Thị Yến Tuyết
出版: (2020)

From verified model to executable program: the PAT approach
由: Zhu, Huiquan, et al.
出版: (2017)

Kiểm chứng tính đúng đắn hệ thống tính toán của chương trình bằng kiểm duyệt mô hình
由: Nguyễn, Thị Loan, et al.
出版: (2016)

Vài suy nghĩ về Cách mạng Pháp 1789 và công cuộc đổi mới của chúng ta
由: Bửu, Nam
出版: (2020)

Giáo trình Luật tổ chức Toà án, Viện kiểm sát, Công chứng, Luật sư
出版: (2017)

Sử dụng hiệu quả ngôn ngữ đặc tả UML trong phát triển phần mềm
由: Trần, Thịnh Phong
出版: (2016)

Nghiên cứu phương pháp sinh dữ liệu kiểm thử phần mềm dựa trên kỹ thuật kiểm chứng mô hình : Luận văn ThS. Công nghệ thông tin: 60 48 10
由: Phan, Văn Tiến
出版: (2017)

NĂNG LỰC CẠNH TRANH CỦA CÔNG TY CHỨNG KHOÁN TÂN VIỆT – HIỆN TRẠNG VÀ ĐỀ XUẤT GIẢI PHÁP
由: NGHIÊM, TRUNG ĐOÀN
出版: (2015)

Generating C# programs from CSP# models
由: Zhu, H., et al.
出版: (2014)

Transformations between CSP# and C#
由: ZHU HUIQUAN
出版: (2014)

Tối ưu hóa công cụ tìm kiếm (SEO) cho báo điện tử
由: Nguyễn, Quang Hiếu
出版: (2016)

Nghệ sĩ và công chúng
由: Phạm, Chí Lương
出版: (2020)

Sử dụng hiệu quả ngôn ngữ đặc tả UML trong phát triển phần mềm : Luận văn ThS. Công nghệ thông tin: 1 01 10
由: Trần, Thịnh Phong
出版: (2017)

Phương pháp tạo giả định tối thiểu áp dụng để kiểm chứng phần mềm hướng thành phẩm
由: Nguyễn, Văn Hiếu
出版: (2016)

Nghiên cứu và xây dựng công cụ kiểm thử ứng dụng Web
由: Đoàn, Mạnh Đức
出版: (2017)

PAT 3: An extensible architecture for building multi-domain model checkers
由: Liu, Y., et al.
出版: (2013)

Nghiên cứu tỷ lệ và đặc điểm hội chứng chuyển hóa theo tiêu chuẩn IDF-2005 ở cán bộ tại quân khu ‘X’
由: Đỗ, Kim Hoa
出版: (2020)

Một số vấn đề liên quan đến Search Engine ứng dụng trong Text : Luận văn ThS. Công nghệ thông tin: 1 01 10
由: Nguyễn, Kim Quy
出版: (2017)

Tối ưu hóa công cụ tìm kiếm (SEO) cho báo điện tử
由: Nguyễn, Quang Hiếu
出版: (2016)

Xã hội hóa dịch vụ công chứng, chứng thực – Qua thực tiễn thành phố Hà Nội
由: Nguyễn, Thị Thảo
出版: (2020)

Xây dựng và phát triển lớp công chúng chủ động trong chương trình truyền hình : Luận văn ThS. Truyền thông đại chúng: 60 32 01
由: Nguyễn, Thu Yến
出版: (2017)

Model checking with fairness assumptions using PAT
由: Si, Y., et al.
出版: (2014)

Nghiên cứu kiểm thử Webservice và xây dựng công cụ hỗ trợ
由: Trần, Thị Thúy Nhung
出版: (2016)

Giá trị pháp lý của văn bản công chứng
由: Đỗ, Đức Hiển
出版: (2016)

Kiểm chứng và ước lượng giả thuyết tương đồng lãi suất ở Việt Nam
由: Đặng, Ngọc Tú
出版: (2017)

Nâng cao năng lực cạnh tranh của Công ty Chứng khoán Ngân hàng Nông nghiệp và Phát triển Nông thôn Việt Nam trong bối cảnh hội nhập kinh tế quốc tế : Luận văn ThS. Kinh tế: 60 31 07
由: Nguyễn, Thế Ninh
出版: (2017)

Những quan điểm của quá trình áp dụng cổng tìm kiếm siêu dữ liệu Metalib tại Trung tâm Thông tin- Tư liệu Viện Khoa học và Công nghệ Việt Nam
由: Đỗ, Thị Thanh Tịnh, et al.
出版: (2017)

Cải tiến thuật toán chứng minh tính đúng đắn công thức khoảng
由: Nguyễn, Thị Bình
出版: (2020)

Giá trị pháp lý của văn bản công chứng : Luận văn ThS. Luật: 60 38 01 04
由: Đỗ, Đức Hiển
出版: (2017)

Model checking concurrent and real-time systems : the PAT approach
由: LIU YANG
出版: (2010)

Năng lực cạnh tranh sản phẩm rượu Vodka của công ty NMS Việt Nam
由: Trần, Thị Mai Anh
出版: (2016)

Chứng cứ trong Bộ luật tố tụng hình sự Việt Nam năm 2015
由: Lý, Xuân Nhất
出版: (2020)

Kiểm lỗi chính tả cảm ngữ cảnh tiếng Việt
由: Nguyễn, Phương Thái
出版: (2017)

Quy chế công chứng viên theo pháp luật Việt Nam
由: Chu, Hồng Sơn
出版: (2016)

Bước đầu tìm hiểu một số đặc trưng của ngôn ngữ trong hoạt động PR (Quan hệ công chúng) ở Việt Nam hiện nay
由: Nguyễn, Thị Thu Huyền
出版: (2020)