Articles liés à Hierarchical Annotated Action Diagrams: An Interface-Oriente...

Hierarchical Annotated Action Diagrams: An Interface-Oriented Specification and Verification Method - Couverture souple

Cerny, Eduard; Berkane, Bachir; Girodias, Pierre

 
9781461556169: Hierarchical Annotated Action Diagrams: An Interface-Oriented Specification and Verification Method
Couverture souple
ISBN 10 : 1461556163 ISBN 13 : 9781461556169
Editeur : Springer, 2011

L'édition de cet ISBN n'est malheureusement plus disponible.

Synopsis

List of Figures. List of Tables. Preface. 1. Introduction. 2. Overview of HAAD Method. 3. Formal Characterization of HAAD. 4. HAAD VHDL Model. 5. Consistency, Causality and Compatibility. 6. Interface Verification Using CLP. 7. Example: Interfacing ARM7 and a Static RAM. 8. Summary and Recent Developments. References. A. Grammar of the HAAD Language. B. Proofs of Chapter 3. Index.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
2011
Langue
anglais
ISBN 10 
1461556163
ISBN 13 
9781461556169
Reliure
Paperback
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

(Aucun exemplaire disponible)

Chercher:



Créez une demande

Vous ne trouvez pas le livre que vous recherchez ? Nous allons poursuivre vos recherches. Si l'un de nos libraires l'ajoute aux offres sur AbeBooks, nous vous le ferons savoir !

Créez une demande

Autres éditions populaires du même titre

9780792383017: Hierarchial Annotated Action Diagrams: An Interface-Oriented Specification and Verification Method

Edition présentée

ISBN 10 :  079238301X ISBN 13 :  9780792383017
Editeur : Springer, 1998
Couverture rigide