Overview
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (22 chapters)
-
UML-Based System Specication & Design
-
C-Based System Design
-
Analog and Mixed-Signal Systems
Keywords
About this book
Together with articles on new languages such as SystemVerilog and Software Engineering in Automotive Systems the contributions selected for this book embrace all aspects of languages and models for specification, design, modeling and verification of systems. Therefore, the book gives an excellent overview of the actual state-of-the-art and the latest research results.
Editors and Affiliations
Bibliographic Information
Book Title: Languages for System Specification
Book Subtitle: Selected Contributions on UML, SystemC, System Verilog, Mixed-Signal Systems, and Property Specification from FDL’03
Editors: Christoph Grimm
DOI: https://doi.org/10.1007/b116586
Publisher: Springer New York, NY
-
eBook Packages: Springer Book Archive
Copyright Information: Springer Science+Business Media New York 2004
Hardcover ISBN: 978-1-4020-7990-0Published: 15 December 1996
Softcover ISBN: 978-1-4419-5457-2Published: 07 December 2010
eBook ISBN: 978-1-4020-7991-7Published: 08 May 2007
Edition Number: 1
Number of Pages: X, 357
Topics: Theory of Computation, Circuits and Systems, Computer Hardware, Programming Languages, Compilers, Interpreters, Computer-Aided Engineering (CAD, CAE) and Design, Electrical Engineering