Recomienda este artículo a tus amigos:
The Inverse Method: Parametric Verification of Real-time Unbedded Systems Etienne Andre
Precio
$ 172,49
sin IVA
Pedido desde almacén remoto
Entrega prevista 15 de jun. - 2 de jul.
Nuestros clientes opinan:
Añadir a tu lista de deseos de iMusic
The Inverse Method: Parametric Verification of Real-time Unbedded Systems
Etienne Andre
This practical guide arms scientists, researchers, and industrial engineers with state-of-the-art verification techniques for real time embedded systems based on the inverse method for parametric timed automata. The authors begin with an introduction to the inverse method, demonstrating how to use it to guarantee robustness in real-time systems.
176 pages, Illustrations
| Medios de comunicación | Libros Hardcover Book (Libro con lomo y cubierta duros) |
| Publicado | 4 de marzo de 2013 |
| ISBN13 | 9781848214477 |
| Editores | ISTE Ltd and John Wiley & Sons Inc |
| Páginas | 176 |
| Dimensiones | 160 × 241 × 20 mm · 430 g |
| Lengua | Inglés |
