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

Cerny, Eduard; Berkane, Bachir; Girodias, Pierre

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

This specific ISBN edition is currently not available.

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.

"synopsis" may belong to another edition of this title.

Publisher
Springer
Publication date
2011
Language
English
ISBN 10 
1461556163
ISBN 13 
9781461556169
Binding
Paperback
Number of pages
232

Other Popular Editions of the Same Title

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

Featured Edition

ISBN 10:  079238301X ISBN 13:  9780792383017
Publisher: Springer, 1998
Hardcover