The Inverse Method: Parametric Verification of Real-time Unbedded Systems - Etienne Andre - Livros - ISTE Ltd and John Wiley & Sons Inc - 9781848214477 - 4 de março de 2013
Caso a capa e o título não sejam correspondentes, considere o título como correto

The Inverse Method: Parametric Verification of Real-time Unbedded Systems

Etienne Andre

Preço
₺ 6.795
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 4 - 11 de jul

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

The Inverse Method: Parametric Verification of Real-time Unbedded Systems

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

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 4 de março de 2013
ISBN13 9781848214477
Editoras ISTE Ltd and John Wiley & Sons Inc
Páginas 176
Dimensões 160 × 241 × 20 mm   ·   430 g
Idioma English  
Mostrar tudo

Mais por Etienne Andre

Ver tudo de Etienne Andre ( por exemplo Hardcover Book e Paperback Book )