Modeling and verification of real-time systems :

Modeling and verification of real-time systems : Formalisms and software tools

This title is devoted to presenting some of the most important concepts and techniques for describing real-time systems and analyzing their behavior in order to enable the designer to achieve guarantees of temporal correctness. Topics addressed include mathematical models of real-time systems and as...

Mô tả đầy đủ

Đã lưu trong:
Chi tiết về thư mục
Định dạng: Sách
Ngôn ngữ:Undetermined
Được phát hành: Hoboken, NJ ISTE/John Wiley 2008
Những chủ đề:
Real-time data processing,Computer software,Formal methods (Computer science),Xử lý dữ liệu tại chỗ,Phần mềm máy tính,Phương pháp chính ( khoa học vi tính )
Verification,Xác minh
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ữ: Trung tâm Học liệu Trường Đại học Cần Thơ

Chi tiết quỹ từ

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