Formal methods: Industrial use from medel to the code

Loại tài liệu: Tài liệu số - Ebook

Tác giả: Jean-Louis Boulanger

Nhà xuất bản: Wiley

Năm xuất bản: 2012

Tải ứng dụng tại các liên kết sau để xem đầy đủ tài liệu.

Tóm tắt nội dung

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.

Ngôn ngữ:En
Tác giả:Jean-Louis Boulanger
Thông tin nhan đề:Formal methods: Industrial use from medel to the code
Nhà xuất bản:Wiley
Loại hình:Ebook
Mô tả vật lý:357p.
Năm xuất bản:2012

Sử dụng ứng dụng Libol Bookworm quét QRCode này để mượn và đọc tài liệu)

(Lưu ý: Sử dụng ứng dụng Bookworm để xem đầy đủ tài liệu. Bạn đọc có thể tải Bookworm từ App Store hoặc Google play với từ khóa "Libol Bookworm”)

Danh mục
Tài nguyên khác