Ebooks d'Etienne André en PDF et EPUB

1 Livre(s)
Télécharger le livre : The Inverse Method
Ajouter à ma liste d'envies
The Inverse Method
Etienne André , Romain Soulat
This book introduces state-of-the-art verification techniques for real-time embedded systems, based on the inverse method for parametric timed automata. It reviews popular formalisms for the specification and verification of timed concurrent systems and, in particular,...

Editeur : Wiley-ISTE
Parution : 2013-02-20

PDF, ePub

Offre spéciale   -10%  154,95€  
139,99 €