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

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

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Yin, Yongfeng
Médium:	Kniha
Jazyk:	Undetermined
Vydáno:	CRC Press/Taylor & Francis Group 2024
Témata:	Embedded computer systems; Computer software;
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo otaguje tento záznam!

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

Podobné jednotky

Embedded software and systems :
Vydáno: (2005)

Embedded and networking systems

Formal Methods and Testing
Autor: Hierons, Robert M., a další
Vydáno: (2020)

Embedded microcomputer systems
Autor: Jonathan W. Valvano
Vydáno: (2007)

Embedded microcomputer systems
Autor: Jonathan W. Valvano
Vydáno: (2007)

Computer organization and embedded systems /
Vydáno: (2012)

Embedded microcomputer systems
Autor: Jonathan W. Valvano
Vydáno: (2007)

Embedded microcomputer systems
Autor: Valvano, Jonathan W.
Vydáno: (2007)

Embedded microcomputer systems
Autor: Valvano, Jonathan W.
Vydáno: (2000)

Component-Based Software Development for Embedded Systems
Autor: Atkinson, Colin, a další
Vydáno: (2020)

Building embedded Linux systems /
Autor: Yaghmour, Karim.
Vydáno: (2003)

Formal Specification Level Concepts, Methods, and Algorithms
Autor: Soeken, Mathias, a další
Vydáno: (2015)

Formal Methods and Software Engineering
Autor: Lau, Kung-Kiu, a další
Vydáno: (2020)

Formal Approaches to Software Testing
Vydáno: (2020)

Embedded Systems (2nd Edition)
Autor: D P, Kothari, a další
Vydáno: (2023)

Component-Based Software Testing with UML
Vydáno: (2020)

Embedded Microcomputer Systems
Autor: Jonathan Valvano
Vydáno: (2007)

Testing of Software and Communication Systems
Vydáno: (2020)

Embedded systems : architecture, programming and design
Autor: Kamal, Raj
Vydáno: (2015)

Embedded microcomputer systems :
Autor: Valvano, Jonathan W.
Vydáno: (2018)

Introduction to embedded systems :
Autor: Jiménez, Manuel
Vydáno: (2014)

Embedded software
Vydáno: (2008)

Embedded software
Vydáno: (2008)

Embedded Software and Systems
Autor: Wu, Zhaohui, a další
Vydáno: (2020)

Embedded Software and Systems
Autor: Lee, Yann-Hang, a další
Vydáno: (2020)

Embedded Software and Systems
Autor: Yang, Laurence T., a další
Vydáno: (2020)

Formal Methods for Open Object-Based Distributed Systems
Autor: Barthe, Gilles
Vydáno: (2020)

Customizable embedded processors :
Vydáno: (2006)

Computer organization and embedded systems
Vydáno: (2012)

Programming Embedded Systems with C and GNU Development Tools (Second Edition)
Autor: Michael, Barr, a další
Vydáno: (2023)

Formal Methods and Software Engineering
Autor: Butler, Michael, a další
Vydáno: (2020)

Networked embedded systems
Vydáno: (2009)

Testing Software and Systems
Autor: Yevtushenko, Nina, a další
Vydáno: (2020)

Computer organization and embedded systems
Vydáno: (2012)

Practical Aspects of Embedded System Design using Microcontrollers
Autor: Jivan, S. Parab, a další
Vydáno: (2023)

C Programming for Embedded Systems
Autor: Kirk, Zurell
Vydáno: (2023)

Embedded systems design and verification
Vydáno: (2009)

Embedded Operating Systems: A Practical Approach (Second Edition)
Autor: Alan, Holt, a další
Vydáno: (2023)

Embedded Systems Architecture: A Comprehensive Guide for Engineers and Programmers
Autor: Tammy, Noergaard
Vydáno: (2023)

Testing computer software
Autor: Kaner, Cem
Vydáno: (1999)