» Từ khóa: formal methods

Kết quả 1-2 trong khoảng 2

Formal methods: Industrial use from medel to the code

From classic languages to formal methods; formal method in the railway sector the first complex application; the B method and B tools; model-based design using simulink - modeling, code generation, verification and validation; Proving global properties with the aid of the simulink design verifier proof tool; SCADE; GATeL; controlBuild, a development framework for control engineering and conclusion. Thông tin trích dẫn: Formal methods:...

11 p haui 21/06/2022 11 0

Từ khóa: Formal methods, Công nghệ thông tin, Jean-Louis Boulanger
Formal methods for components and objects

The AVANTSSAR project; the ESF cost action IC0701; the DEPLOY project; the HATS project; the INESS project; the MADES project; the MOGEN TES project; the MUL TIFORM project; the QUASIMODO project Thông tin trích dẫn: Formal methods for components and objects. Aicherning, Bernhard K.#De Boer, Frank S.#Bonsangue, Marcello M.. NXB Springer, 2012. Vui lòng truy cập địa chỉ sau để download và biết thêm thông tin chi tiết:...

11 p haui 21/06/2022 55 0

Từ khóa: Formal methods; components; objects, Công nghệ thông tin, Aicherning, Bernhard K.#De Boer, Frank S.#Bonsangue, Marcello M.

Đăng nhập

Bộ sưu tập nổi bật

Những tài liệu hay nhất về Tài chính - Ngân...

13 1062

Thư viện Đại Học Công Nghiệp Hà Nội

Địa chỉ: Nhà A11 - Khu A, Phường Minh Khai, Quận Bắc Từ Liêm, Hà Nội
Cơ sở 2: Tầng 1, 2 nhà B8 - Khu B, Phường Tây Tựu, Quận Bắc Từ Liêm, Hà Nội
Cơ sở 3: Nhà C18 - Khu C, Phường Lê Hồng Phong, Thành phố Phủ Lý, Hà Nam
ĐT: +84 243 765 5121 - 0243.7655.121 (Số nội bộ: 800, 801, 805)
Email: lic.haui.edu.vn@gmail.com

Phát triển bởi Thư viện số