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

Mastering Embedded Linux Development: Craft fast and reliable embedded solutions

Mastering Forth for Embedded Systems: Hands-On Stack-Based Programming for Robot

Embedded Software System Testing: Automatic Tes, Yin, Jiang, Zhou..

Formal Verification of Concurrent Embedded Software [Paperback]

Embedded Software System Testing by Bo Jiang HARDBACK 9781032488189

Embedded Systems Design Based on Formal Models of Computation - 9789401784153

Embedded Software System Testing - 9781032488189