↓ Skip to main content

Languages for System Specification

Overview of attention for book
Cover of 'Languages for System Specification'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 UML-Based Co-Design for Run-Time Reconfigurable Architectures
  3. Altmetric Badge
    Chapter 2 A Unified Approach to Code Generation from Behavioral Diagrams
  4. Altmetric Badge
    Chapter 3 Platform-Independent Design for Embedded Real-Time Systems
  5. Altmetric Badge
    Chapter 4 Real-Time System Modeling with ACCORD/UML Methodology
  6. Altmetric Badge
    Chapter 5 UML-Based Specifications of an Embedded System Oriented to HW/SW Partitioning
  7. Altmetric Badge
    Chapter 6 SPACE: A Hardware/Software SystemC Modeling Platform Including an RTOS
  8. Altmetric Badge
    Chapter 7 LAERTE++: An Object Oriented High-Level TPG for SystemC Designs
  9. Altmetric Badge
    Chapter 8 A Case Study: SystemC-Based Design of an Industrial Exposure Control Unit
  10. Altmetric Badge
    Chapter 9 Modeling of CSP, KPN and SR Systems with SystemC
  11. Altmetric Badge
    Chapter 10 On Hardware Description in ECL
  12. Altmetric Badge
    Chapter 11 Rules for Analog and Mixed-Signal VHDL-AMS Modeling
  13. Altmetric Badge
    Chapter 12 A VHDL-AMS Library of Hierarchical Optoelectronic Device Models
  14. Altmetric Badge
    Chapter 13 Towards High-Level Analog and Mixed-Signal Synthesis From VHDL-AMS Specifications
  15. Altmetric Badge
    Chapter 14 Reliability Simulation of Electronic Circuits with VHDL-AMS
  16. Altmetric Badge
    Chapter 15 Extending SystemC to Analog Modelling and Simulation
  17. Altmetric Badge
    Chapter 16 Linking Architectural and Component Level System Views by Abstract State Machines
  18. Altmetric Badge
    Chapter 17 A New Time Extension to π -Calculus Based on Time Consuming Transition Semantics
  19. Altmetric Badge
    Chapter 18 Modeling CHP Descriptions in Labeled Transitions Systems for an Efficient Formal Validation of Asynchronous Circuit Specifications
  20. Altmetric Badge
    Chapter 19 Combined Formal Refinement and Model Checking for Real-Time Systems Verification
  21. Altmetric Badge
    Chapter 20 Refinement of Hybrid Systems
  22. Altmetric Badge
    Chapter 21 Automotive Software Engineering
  23. Altmetric Badge
    Chapter 22 Systemverilog
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

patent
1 patent

Citations

dimensions_citation
2 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
Languages for System Specification
Published by
Springer US, May 2007
DOI 10.1007/b116586
ISBNs
978-1-4020-7990-0, 978-1-4020-7991-7
Editors

Grimm, Christoph

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 %
Russia 1 14%
Germany 1 14%
Unknown 5 71%

Demographic breakdown

Readers by professional status Count As %
Student > Master 2 29%
Student > Bachelor 1 14%
Student > Ph. D. Student 1 14%
Professor 1 14%
Researcher 1 14%
Other 1 14%
Readers by discipline Count As %
Computer Science 6 86%
Engineering 1 14%