Embedded software system testing : automatic testing solution based on formal method

Mã QR

Embedded software system testing : automatic testing solution based on formal method

Đã lưu trong:

Chi tiết về thư mục
Tác giả chính:	Yin, Yongfeng
Định dạng:	Sách
Ngôn ngữ:	Undetermined
Được phát hành:	CRC Press/Taylor & Francis Group 2024
Những chủ đề:	Embedded computer systems; Computer software;
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 Thư viện - Trường Đại học Công nghiệp TP. Hồ Chí Minh

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

Embedded software and systems :
Được phát hành: (2005)

Embedded and networking systems

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

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

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

Computer organization and embedded systems /
Được phát hành: (2012)

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

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

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

Component-Based Software Development for Embedded Systems
Bỡi: Atkinson, Colin, et al.
Được phát hành: (2020)

Building embedded Linux systems /
Bỡi: Yaghmour, Karim.
Được phát hành: (2003)

Formal Specification Level Concepts, Methods, and Algorithms
Bỡi: Soeken, Mathias, et al.
Được phát hành: (2015)

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

Formal Approaches to Software Testing
Được phát hành: (2020)

Embedded Systems (2nd Edition)
Bỡi: D P, Kothari, et al.
Được phát hành: (2023)

Component-Based Software Testing with UML
Được phát hành: (2020)

Embedded Microcomputer Systems
Bỡi: Jonathan Valvano
Được phát hành: (2007)

Testing of Software and Communication Systems
Được phát hành: (2020)

Embedded systems : architecture, programming and design
Bỡi: Kamal, Raj
Được phát hành: (2015)

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

Introduction to embedded systems :
Bỡi: Jiménez, Manuel
Được phát hành: (2014)

Embedded software
Được phát hành: (2008)

Embedded software
Được phát hành: (2008)

Embedded Software and Systems
Bỡi: Wu, Zhaohui, et al.
Được phát hành: (2020)

Embedded Software and Systems
Bỡi: Lee, Yann-Hang, et al.
Được phát hành: (2020)

Embedded Software and Systems
Bỡi: Yang, Laurence T., et al.
Được phát hành: (2020)

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

Customizable embedded processors :
Được phát hành: (2006)

Computer organization and embedded systems
Được phát hành: (2012)

Programming Embedded Systems with C and GNU Development Tools (Second Edition)
Bỡi: Michael, Barr, et al.
Được phát hành: (2023)

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

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

Testing Software and Systems
Bỡi: Yevtushenko, Nina, et al.
Được phát hành: (2020)

Computer organization and embedded systems
Được phát hành: (2012)

Practical Aspects of Embedded System Design using Microcontrollers
Bỡi: Jivan, S. Parab, et al.
Được phát hành: (2023)

C Programming for Embedded Systems
Bỡi: Kirk, Zurell
Được phát hành: (2023)

Embedded systems design and verification
Được phát hành: (2009)

Embedded Operating Systems: A Practical Approach (Second Edition)
Bỡi: Alan, Holt, et al.
Được phát hành: (2023)

Embedded Systems Architecture: A Comprehensive Guide for Engineers and Programmers
Bỡi: Tammy, Noergaard
Được phát hành: (2023)

Testing computer software
Bỡi: Kaner, Cem
Được phát hành: (1999)