Tài liệu Thư viện số

Danh mục TaiLieu.VN

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: Industrial use from medel to the code. Jean-Louis Boulanger. NXB Wiley, 2012.
Vui lòng truy cập địa chỉ sau để download và biết thêm thông tin chi tiết: https://lic.haui.edu.vn/media/Book_CNTT/Formal%20methods%20Industrial%20use%20from%20medel%20to%20the%20code_Content.pdf
Bạn đọc có thể tìm thêm tài liệu tại Thư viện ĐH Công nghiệp Hà Nội tại địa chỉ: http://lib.haui.edu.vn/opac80/

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

11 p tailieu_haui 21/06/2022 12 0

Bình luận