Embedded Software System Testing: Automatic Testing Solution Based on Formal Method

ISBN-10: 1032488190
ISBN-13: 978-1032488196
Edition: 1st
Publisher: CRC Pr I Llc

Name: Embedded Software System Testing: Automatic Testing Solution Based on Formal Method
SKU: 9781032488196
Availability: InStock

SKU: 9781032488196

Original price was: ₹5,948.81.Current price is: ₹4,759.05.

Unlock the future of embedded software testing with ‘Embedded Software System Testing: Automatic Testing Solution Based on Formal Method’. This essential guide from The Bookish Owl addresses the critical need for quality and reliability in increasingly complex embedded systems. Discover innovative testing theories and techniques, along with environment construction strategies, to achieve fully automated testing. The authors present a robust, formal method-based approach, validated through practical examples of complex embedded software systems. Ideal for researchers, students in computer science and software engineering, and professionals in embedded systems development, verification, and maintenance, this book offers a vital blend of fundamental theory and actionable solutions for military and civilian applications.

5 in stock

Category: Computers & Internet Tag: Yongfeng Yin