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:

Sonraí Bibleagrafaíochta
Príomhúdar:	Yin, Yongfeng
Formáid:	Leabhar
Teanga:	Undetermined
Foilsithe:	CRC Press/Taylor & Francis Group 2024
Ábhair:	Embedded computer systems; Computer software;
Clibeanna:	Cuir Clib Leis Gan Chlibeanna, Bí ar an gcéad duine leis an taifead seo a chlibeáil!

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

Míreanna Comhchosúla

Embedded software and systems :
Foilsithe: (2005)

Embedded and networking systems

Formal Methods and Testing
le: Hierons, Robert M., et al.
Foilsithe: (2020)

Embedded microcomputer systems
le: Jonathan W. Valvano
Foilsithe: (2007)

Embedded microcomputer systems
le: Jonathan W. Valvano
Foilsithe: (2007)

Computer organization and embedded systems /
Foilsithe: (2012)

Embedded microcomputer systems
le: Jonathan W. Valvano
Foilsithe: (2007)

Embedded microcomputer systems
le: Valvano, Jonathan W.
Foilsithe: (2007)

Embedded microcomputer systems
le: Valvano, Jonathan W.
Foilsithe: (2000)

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

Building embedded Linux systems /
le: Yaghmour, Karim.
Foilsithe: (2003)

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

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

Formal Approaches to Software Testing
Foilsithe: (2020)

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

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

Embedded Microcomputer Systems
le: Jonathan Valvano
Foilsithe: (2007)

Testing of Software and Communication Systems
Foilsithe: (2020)

Embedded systems : architecture, programming and design
le: Kamal, Raj
Foilsithe: (2015)

Embedded microcomputer systems :
le: Valvano, Jonathan W.
Foilsithe: (2018)

Introduction to embedded systems :
le: Jiménez, Manuel
Foilsithe: (2014)

Embedded software
Foilsithe: (2008)

Embedded software
Foilsithe: (2008)

Embedded Software and Systems
le: Wu, Zhaohui, et al.
Foilsithe: (2020)

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

Embedded Software and Systems
le: Yang, Laurence T., et al.
Foilsithe: (2020)

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

Customizable embedded processors :
Foilsithe: (2006)

Computer organization and embedded systems
Foilsithe: (2012)

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

Formal Methods and Software Engineering
le: Butler, Michael, et al.
Foilsithe: (2020)

Networked embedded systems
Foilsithe: (2009)

Testing Software and Systems
le: Yevtushenko, Nina, et al.
Foilsithe: (2020)

Computer organization and embedded systems
Foilsithe: (2012)

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

C Programming for Embedded Systems
le: Kirk, Zurell
Foilsithe: (2023)

Embedded systems design and verification
Foilsithe: (2009)

Embedded Operating Systems: A Practical Approach (Second Edition)
le: Alan, Holt, et al.
Foilsithe: (2023)

Embedded Systems Architecture: A Comprehensive Guide for Engineers and Programmers
le: Tammy, Noergaard
Foilsithe: (2023)

Testing computer software
le: Kaner, Cem
Foilsithe: (1999)