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

Danh mục TaiLieu.VN

 » Từ khóa: jean louis boulanger

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

  • Formal methods: Industrial use from medel to the code

    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 12 0

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

Đăng nhập

Hướng dẫn khai thác thư viện số

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

@tag jean louis boulanger/p_school_code=189/p_filetype=/p_intCateID1=/p_intCateID2=/p_intStart=0/p_intLimit=12/host=10.20.1.100/port=9315/_index=libdocuments,libdocumentsnew