Книги автора Etienne Andre
Etienne Andre
современная русская литератураThis book introduces state-of-the-art verification techniques for real-time embedded systems, based on the inverse method for parametric tim…
This book introduces state-of-the-art verification techniques for real-time embedded systems, based on the inverse method for parametric tim…
