loading
  • Trang chủ
  • Luận án, luận văn
  • Formal specification and model checking of distributed systems with rewriting logic meta - programming facilities: Thesis/ Đoan Thi Thu Ha
Luận án, luận văn

Formal specification and model checking of distributed systems with rewriting logic meta - programming facilities: Thesis/ Đoan Thi Thu Ha

Tác giả : Đoan Thi Thu Ha

Năm xuất bản : 2019

Nơi xuất bản : Nomi

Mô tả vật lý : xi, 127 p.: ill.; 30 cm 1 resume

Số phân loại : 629.89251

Chủ đề : 1. $2Bộ TK TVQGHệ phân tán. 2. $2Bộ TK TVQGRobot tự động. 3. $2Bộ TK TVQGThuật toán điều khiển. 4. Lập trình meta.

Chia sẻ

Thông tin chi tiết

Tóm tắt :

Đề xuất các phương pháp mới để đặc tả và kiểm tra mô hình các hệ phân tán. Đề xuất một phương pháp cho các thuật toán có tên là thuật toán điều khiển. Đưa ra các phương pháp để đặc tả và kiểm tra các thuật toán cho hệ thống rô bốt tự động và có khả năng di chuyển...
Chia sẻ


Hiển thị MARC

 Thông tin dữ liệu nguồn

 Thư viện  Ký hiệu xếp giá  Dữ liệu nguồn
Thư viện Quốc gia Việt Nam LA19.0423.1, LA19.0423.2, LA19.0423.3
 https://opac.nlv.gov.vn/pages/opac/wpid-detailbib-id-746908.html

 

 Tài liệu cùng tác giả

placeholder+image

Sách, tuyển tập

Click tiếng Việt trình độ A: Sách dành cho người nước ngoài/ B.s: Đoàn Thiện Thuật (ch.b.), Nguyễn Phương Anh, Lê Thị Hoài Dương... T.2

Tác giả : B.s: Đoàn Thiện Thuật (ch.b.), Nguyễn Phương Anh, Lê Thị Hoài Dương...

Nhà xuất bản : Đại học Quốc gia Hà Nội

Năm xuất bản : 2018

placeholder+image

Sách, tuyển tập

Giáo trình quản lý học/ B.s.: Nguyễn Thị Ngọc Huyền, Đoàn Thị Thu Hà, Đỗ Thị Hải Hà (ch.b.)..

Tác giả : B.s.: Nguyễn Thị Ngọc Huyền, Đoàn Thị Thu Hà, Đỗ Thị Hải Hà (ch.b.)..

Nhà xuất bản : Đại học Kinh tế Quốc dân

Năm xuất bản : 2018

placeholder+image

Sách, tuyển tập

Quan điểm Hồ Chí Minh về vận động tín đồ tôn giáo và những định hướng trong công tác tôn giáo ở nước ta hiện nay: Sách chuyên khảo/ Đoàn Thị Thu Hà

Tác giả : Đoàn Thị Thu Hà

Nhà xuất bản : Nxb. Hải Phòng

Năm xuất bản : 2018

placeholder+image

Sách, tuyển tập

Một số vấn đề lý luận và thực tiễn về sự lãnh đạo của Đảng Cộng sản Việt Nam/ Nguyễn Văn Tuân, Dương Quang Điện (ch.b.), Đoàn Thị Thu Hà..

Tác giả : Nguyễn Văn Tuân, Dương Quang Điện (ch.b.), Đoàn Thị Thu Hà..

Nhà xuất bản : Chính trị Quốc gia

Năm xuất bản : 2018

placeholder+image

Sách, tuyển tập

Click tiếng Việt trình độ A: Sách dành cho người nước ngoài/ B.s: Đoàn Thiện Thuật (ch.b.), Nguyễn Phương Anh, Lê Thị Hoài Dương... T.1

Tác giả : B.s: Đoàn Thiện Thuật (ch.b.), Nguyễn Phương Anh, Lê Thị Hoài Dương...

Nhà xuất bản : Thế giới

Năm xuất bản : 2018

 

 Tài liệu cùng danh mục chủ đề

placeholder+image

Sách, tuyển tập

Cơ sở đo lường và lý thuyết điều khiển tự động quá trình công nghệ: = Fundamental of process measurement & control theory/ Nguyễn Minh Huệ, Nguyễn Đức Trung, Phan Minh Thuỵ

Tác giả : Nguyễn Minh Huệ, Nguyễn Đức Trung, Phan Minh Thuỵ

Nhà xuất bản : Bách khoa Hà Nội

Năm xuất bản : 2018

placeholder+image

Sách, tuyển tập

Bài giảng robot công nghiệp: Dùng cho sinh viên trường Cao đẳng nghề Bách Khoa Hà Nội/ Nguyễn Mạnh Toàn, Nguyễn Thuỳ Dương

Tác giả : Nguyễn Mạnh Toàn, Nguyễn Thuỳ Dương

Nhà xuất bản : Bách khoa Hà Nội

Năm xuất bản : 2018

placeholder+image

Luận án, luận văn

Pазработка и исследование информационной среды цифровых систем управления для объектов с вариативной моделью функционирования: Дисс. Кан-та тех. наук: 05.13.01/ Ле Ба Чунг

Tác giả : Ле Ба Чунг

Năm xuất bản : 2018

placeholder+image

Luận án, luận văn

Nghiên cứu hệ điều khiển truyền động điện phi tuyến chứa nhiều động cơ có liên hệ ràng buộc ứng dụng trong điều khiển quadrotor: LATS Kỹ thuật: 9.52.02.16/ Hoàng Văn Huy

Tác giả : Hoàng Văn Huy

Năm xuất bản : 2018

placeholder+image

Luận án, luận văn

Adaptive finite time intelligent tracking control strategies for parallel manipulators: Thesis/ Nguyen Van Truong

Tác giả : Nguyen Van Truong

Năm xuất bản : 2018