- Retrait gratuit dans votre magasin Club
- 7.000.000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
- Retrait gratuit dans votre magasin Club
- 7.000.000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
The Unknown Component Problem
Theory and Applications
Tiziano Villa, Nina Yevtushenko, Robert K Brayton, Alan Mishchenko, Alexandre Petrenko, Alberto Sangiovanni-Vincentelli
Livre relié | Anglais
223,95 €
+ 447 points
Format
Description
1. Synopsis.- 2. Equations over Languages and Finate Automata.- 3. Equations over Finite State Machines.- 4. Equations Over w-Automata.- 5. A Survey of Relevant Literature.- 6. Implementation of Automata Manipulations.- 7. Manipulations of FSMs Represented as Sequential Circuits.- 8. The Software Package BALM.- 9. Fundamental Operations in BALM.- 10. Computation of Flexibility in Sequential Networks.- 11. Computation of Sequential Flexibility in Netlists by Windowing.- 12. Computation of Sequential Flexibility in Networks of FSMs by Windowing.- 13. Language Solving Using Simulation Relations.- 14. Exploitation of Flexibility in Sequential Networks.- 15. Supervisory Control.- 16. Testing.- 17. Synthesis of Strategies for Games.- 18. Extending BALM to Synchronous Equations Over co-Büchi Specifications.- 19. Conclusions and Open Problems.
Spécifications
Parties prenantes
- Auteur(s) :
- Editeur:
Contenu
- Nombre de pages :
- 312
- Langue:
- Anglais
Caractéristiques
- EAN:
- 9780387345321
- Date de parution :
- 15-11-11
- Format:
- Livre relié
- Format numérique:
- Genaaid
- Dimensions :
- 156 mm x 234 mm
- Poids :
- 635 g
