Developing reliable software/systems for such applications as flight control, automotive electronics, and healthcare monitoring is of utmost importance. This book describes a host of debugging and verification methods that can help to achieve this goal.
Read More
Developing reliable software/systems for such applications as flight control, automotive electronics, and healthcare monitoring is of utmost importance. This book describes a host of debugging and verification methods that can help to achieve this goal.
Read Less