Modeling and verification of real-time systems :

Mã QR

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),Xử lý dữ liệu tại chỗ,Phần mềm máy tính,Phương pháp chính ( khoa học vi tính ) Verification,Xá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 tâm Học liệu Trường Đại học Cần Thơ

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

Real-time systems
Bỡi: Krishna, C. M.
Được phát hành: (1997)

Hard real-time computing systems :predictable scheduling algorithms and applications
Bỡi: Buttazzo, Giorgio C
Được phát hành: (2011)

Modeling and verification using UML statecharts :
Bỡi: Drusinsky, Doron
Được phát hành: (2006)

Modeling and verification using UML statecharts :
Bỡi: Drusinsky, Doron
Được phát hành: (2006)

Design of real-time computer systems
Bỡi: Martin, James
Được phát hành: (1967)

Real-Time systems and programming language /
Bỡi: Burns, Alan.
Được phát hành: (1997)

Real-Time systems
Bỡi: Liu, Jane W. S
Được phát hành: (2000)

Real-Time software design and analysis of reconfigurable multi-Sensor based systems /
Bỡi: Stewart, David Bernard.
Được phát hành: (1994)

Real-time systems design and analysis : Tools for the practitioner
Bỡi: Laplante, Phillip A
Được phát hành: (2012)

Verification and validation for quality of UML 2.0 madels
Bỡi: Unhelkar, Bhuvan
Được phát hành: (2005)

Verification and validation for quality of UML 2.0 models
Bỡi: Unhelkar, Bhuvan
Được phát hành: (2005)

Run-time security traceability for evolving systems /
Bỡi: Bauer, Andreas.

Comprehensive functional verification the complete industry cycle
Bỡi: Wile, Bruce
Được phát hành: (2005)

A real-time approach to process control
Bỡi: Svrcek, William Y.
Được phát hành: (2014)

Complexity and real computation /
Được phát hành: (1998)

Complexity and real computation /
Được phát hành: (1998)

Structured development for real-time systems.
Bỡi: Ward, Paul T.
Được phát hành: (1985)

Structured development for real-time systems.
Bỡi: Ward, Paul T.
Được phát hành: (1985)

Verification techniques for system-level design
Bỡi: Fujita, Masahiro
Được phát hành: (2008)

Closing a system in the dynamic input/output automata model /
Bỡi: Kapus, Tatjana.

Guidance for the verification and validation of neural networks
Bỡi: Pullum, Laura L.
Được phát hành: (2007)

Data structures and abstractions with Java
Bỡi: Carrano, Frank M.
Được phát hành: (2016)

Peter Norton's essential concepts
Bỡi: Norton, Peter
Được phát hành: (2003)

Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings /
Được phát hành: (2001)

Understanding computers :
Bỡi: Morley, Deborah
Được phát hành: (2007)

khai mỏ dữ liệu :
Bỡi: Đỗ, Thanh Nghị
Được phát hành: (2011)

Giới thiệu phần mềm tự do =
Bỡi: Barahona, J. Gonzales
Được phát hành: (2010)

Kiểm thử và đảm bảo chất lượng phần mềm
Bỡi: Thạc, Bình Cường
Được phát hành: (2011)

User's guide :
Được phát hành: (1995)

Software testing
Bỡi: R.M.D, Sundaram
Được phát hành: (2019)

Xây dựng phần mềm tuyển sinh vào lớp 10
Bỡi: Nguyễn, Thị Thuỳ Mỵ
Được phát hành: (2019)

Software requirements
Bỡi: Wiegé, Karl
Được phát hành: (2013)

Software testing
Bỡi: Patton, Ron
Được phát hành: (2006)

Software testing
Bỡi: Patton, Ron
Được phát hành: (2006)

Mathematical software :
Được phát hành: (2002)

Computing essentials 2006
Bỡi: O'Leary, Timothy J.
Được phát hành: (2006)

Computing essentials 2006
Bỡi: O'Leary, Timothy J.
Được phát hành: (2006)

Giáo trình đảm bảo chất lượng phần mềm
Bỡi: Trần, Cao Đệ
Được phát hành: (2014)

Giáo trình Autocad-kỹ thuật môi trường
Bỡi: Phạm, Văn Toàn
Được phát hành: (2013)

Giáo trình kỹ nghệ phần mềm
Bỡi: Nguyễn, Văn Vỵ
Được phát hành: (2009)