Combining formal methods for embedded systems /

Mã QR

Combining formal methods for embedded systems /

Đã lưu trong:

Chi tiết về thư mục
Tác giả chính:	Phạm Trần Nhu.
Tác giả khác:	Nguyễn Văn Trường.
Định dạng:	Bài viết
Ngôn ngữ:	Vietnamese
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Những quyển sách tương tự

Formal Methods in Systems Biology
Bỡi: Fisher, Jasmin
Được phát hành: (2020)

Formal Methods for Industrial Critical Systems
Bỡi: Howar, Falk, et al.
Được phát hành: (2020)

Formal Methods in Software and Systems Modeling
Được phát hành: (2020)

Formal Methods for Computational Systems Biology
Bỡi: Bernardo, Marco, et al.
Được phát hành: (2020)

Formal Methods for Industrial Critical Systems
Được phát hành: (2020)

Formal Methods for Industrial Critical Systems
Được phát hành: (2020)

Formal Methods for Industrial Critical Systems
Bỡi: Leue, Stefan, et al.
Được phát hành: (2020)

Critical Systems: Formal Methods and Automated Verification
Bỡi: Petrucci, Laure, et al.
Được phát hành: (2020)

Formal Methods and Hybrid Real-Time Systems
Bỡi: Jones, Cliff B., et al.
Được phát hành: (2020)

Formal Logical Methods for System Security and Correctness
Bỡi: Grumberg, Orna, et al.
Được phát hành: (2013)

Formal Methods for Discrete-Time Dynamical Systems
Bỡi: Belta, Calin, et al.
Được phát hành: (2020)

Formal Methods
Bỡi: Havelund, Klaus, et al.
Được phát hành: (2020)

Formal Methods for Open Object-Based Distributed Systems
Được phát hành: (2020)

Formal Methods for Open Object-Based Distributed Systems
Bỡi: Barthe, Gilles
Được phát hành: (2020)

Formal Methods for Open Object-Based Distributed Systems
Bỡi: Bonsangue, Marcello M., et al.
Được phát hành: (2020)

Embedded systems handbook. Networked embedded systems
Được phát hành: (2009)

Combinational methods :
Bỡi: Milkhalev, Alexander A.
Được phát hành: (2004)

Integrated Formal Methods
Bỡi: Polikarpova, Nadia, et al.
Được phát hành: (2020)

Integrated Formal Methods
Bỡi: Furia, Carlo A., et al.
Được phát hành: (2020)

Teaching Formal Methods
Được phát hành: (2020)

Integrated Formal Methods
Bỡi: Davies, Jim, et al.
Được phát hành: (2020)

Integrated Formal Methods
Bỡi: Ahrendt, Wolfgang, et al.
Được phát hành: (2020)

NASA Formal Methods
Bỡi: Barrett, Clark, et al.
Được phát hành: (2020)

Formal Methods Teaching
Bỡi: Dongol, Brijesh, et al.
Được phát hành: (2020)

Integrated Formal Methods
Bỡi: Romijn, Judi M.T., et al.
Được phát hành: (2020)

Integrated Formal Methods
Được phát hành: (2020)

Formal Methods and Testing
Bỡi: Hierons, Robert M., et al.
Được phát hành: (2020)

Embedded systems
Bỡi: Ganguly, Amar K
Được phát hành: (2014)

Embedded systems :
Bỡi: Valvano, Jonathan W.
Được phát hành: (2019)

Embedded systems
Bỡi: Valvano, Jonathan W
Được phát hành: (2017)

Formal Methods for Components and Objects
Được phát hành: (2020)

Formal Methods and Software Engineering
Bỡi: Duan, Zhenhua, et al.
Được phát hành: (2020)

Formal Methods for Performance Evaluation
Bỡi: Bernardo, Marco, et al.
Được phát hành: (2020)

Formal Methods: Applications and Technology
Bỡi: Brim, Lubos, et al.
Được phát hành: (2020)

Formal Methods for Mobile Computing
Được phát hành: (2020)

Concise Guide to Formal Methods
Bỡi: O'Regan, Gerard
Được phát hành: (2020)

Formal Methods for Components and Objects
Được phát hành: (2020)

Software Engineering and Formal Methods
Bỡi: Cimatti, Alessandro, et al.
Được phát hành: (2020)

FM 2009: Formal Methods
Được phát hành: (2020)

Formal Methods: Foundations and Applications
Bỡi: Cavalheiro, Simone, et al.
Được phát hành: (2020)