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

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

Đã lưu trong:

Bibliografiske detaljer
Hovedforfatter:	Yin, Yongfeng
Format:	Bog
Sprog:	Undetermined
Udgivet:	CRC Press/Taylor & Francis Group 2024
Fag:	Embedded computer systems; Computer software;
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!

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

Lignende værker

Embedded software and systems :
Udgivet: (2005)

Embedded and networking systems

Formal Methods and Testing
af: Hierons, Robert M., et al.
Udgivet: (2020)

Embedded microcomputer systems
af: Jonathan W. Valvano
Udgivet: (2007)

Embedded microcomputer systems
af: Jonathan W. Valvano
Udgivet: (2007)

Computer organization and embedded systems /
Udgivet: (2012)

Embedded microcomputer systems
af: Jonathan W. Valvano
Udgivet: (2007)

Embedded microcomputer systems
af: Valvano, Jonathan W.
Udgivet: (2007)

Embedded microcomputer systems
af: Valvano, Jonathan W.
Udgivet: (2000)

Component-Based Software Development for Embedded Systems
af: Atkinson, Colin, et al.
Udgivet: (2020)

Building embedded Linux systems /
af: Yaghmour, Karim.
Udgivet: (2003)

Formal Specification Level Concepts, Methods, and Algorithms
af: Soeken, Mathias, et al.
Udgivet: (2015)

Formal Methods and Software Engineering
af: Lau, Kung-Kiu, et al.
Udgivet: (2020)

Formal Approaches to Software Testing
Udgivet: (2020)

Embedded Systems (2nd Edition)
af: D P, Kothari, et al.
Udgivet: (2023)

Component-Based Software Testing with UML
Udgivet: (2020)

Testing of Software and Communication Systems
Udgivet: (2020)

Embedded Microcomputer Systems
af: Jonathan Valvano
Udgivet: (2007)

Embedded systems : architecture, programming and design
af: Kamal, Raj
Udgivet: (2015)

Introduction to Embedded Systems Using Microcontrollers and the MSP430
af: Manuel, Jiménez, et al.
Udgivet: (2026)

Embedded software
Udgivet: (2008)

Embedded software
Udgivet: (2008)

Embedded microcomputer systems :
af: Valvano, Jonathan W.
Udgivet: (2018)

Introduction to embedded systems :
af: Jiménez, Manuel
Udgivet: (2014)

Embedded Software and Systems
af: Wu, Zhaohui, et al.
Udgivet: (2020)

Embedded Software and Systems
af: Lee, Yann-Hang, et al.
Udgivet: (2020)

Embedded Software and Systems
af: Yang, Laurence T., et al.
Udgivet: (2020)

Introduction to Embedded Systems: A Cyber-Physical Systems Approach (Second Edition)
af: Edward, Ashford Lee, et al.
Udgivet: (2026)

Formal Methods for Open Object-Based Distributed Systems
af: Barthe, Gilles
Udgivet: (2020)

Customizable embedded processors :
Udgivet: (2006)

Computer organization and embedded systems
Udgivet: (2012)

Programming Embedded Systems with C and GNU Development Tools (Second Edition)
af: Michael, Barr, et al.
Udgivet: (2023)

Formal Methods and Software Engineering
af: Butler, Michael, et al.
Udgivet: (2020)

Networked embedded systems
Udgivet: (2009)

Testing Software and Systems
af: Yevtushenko, Nina, et al.
Udgivet: (2020)

Computer organization and embedded systems
Udgivet: (2012)

Practical Aspects of Embedded System Design using Microcontrollers
af: Jivan, S. Parab, et al.
Udgivet: (2023)

C Programming for Embedded Systems
af: Kirk, Zurell
Udgivet: (2023)

Embedded systems design and verification
Udgivet: (2009)

Testing computer software
af: Kaner, Cem
Udgivet: (1999)