↓ Skip to main content

Advances in Design and Specification Languages for Embedded Systems

Overview of attention for book
Cover of 'Advances in Design and Specification Languages for Embedded Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Compact Modeling of Emerging Technologies with VHDL-AMS
  3. Altmetric Badge
    Chapter 2 Baseband Modeling Using Multidimensional Networks in VHDL-AMS
  4. Altmetric Badge
    Chapter 3 Verification-Oriented Behavioral Modeling of NonLinear Analog Parts of Mixed-Signal Circuits
  5. Altmetric Badge
    Chapter 4 Improving Efficiency and Robustness of Analog Behavioral Models
  6. Altmetric Badge
    Chapter 5 ModelLib: A Web-Based Platform for Collecting Behavioural Models and Supporting the Design of AMS Systems
  7. Altmetric Badge
    Chapter 6 The Quiny SystemCTM Front End: Self-Synthesising Designs
  8. Altmetric Badge
    Chapter 7 Mining Metadata from SystemC IP Library
  9. Altmetric Badge
    Chapter 8 Nonintrusive High-level SystemC Debugging
  10. Altmetric Badge
    Chapter 9 Transaction-Level Modeling in Communication Engine Design: A Case Study
  11. Altmetric Badge
    Chapter 10 Object-Oriented Transaction-Level Modelling
  12. Altmetric Badge
    Chapter 11 An Efficient Synthesis Method for Property-Based Design in Formal Verification: On Consistency and Completeness of Property-Sets
  13. Altmetric Badge
    Chapter 12 Online Monitoring of Properties Built on Regular Expressions Sequences
  14. Altmetric Badge
    Chapter 13 Observer-BasedVerification Using Introspection: A System-level Verification Implementation
  15. Altmetric Badge
    Chapter 14 Formalizing TLM with Communicating State Machines
  16. Altmetric Badge
    Chapter 15 Different Kinds of System Descriptions as Synchronous Programs
  17. Altmetric Badge
    Chapter 16 A Model-driven Co-design Flow for Embedded Systems
  18. Altmetric Badge
    Chapter 17 A Method for Mobile Terminal Platform Architecture Development
  19. Altmetric Badge
    Chapter 18 UML2 Profile for Modeling Controlled Data Parallel Applications
  20. Altmetric Badge
    Chapter 19 MCF: A Metamodeling-based Visual Component Composition Framework
  21. Altmetric Badge
    Chapter 20 Reusing Systems Design Experience Through Modelling Patterns
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

wikipedia
3 Wikipedia pages

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
7 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Advances in Design and Specification Languages for Embedded Systems
Published by
Springer Netherlands, July 2007
DOI 10.1007/978-1-4020-6149-3
ISBNs
978-1-4020-6147-9, 978-1-4020-6149-3
Editors

Huss, Sorin A.

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 7 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 7 100%

Demographic breakdown

Readers by professional status Count As %
Student > Bachelor 2 29%
Student > Doctoral Student 1 14%
Other 1 14%
Student > Master 1 14%
Researcher 1 14%
Other 0 0%
Unknown 1 14%
Readers by discipline Count As %
Computer Science 4 57%
Engineering 1 14%
Unknown 2 29%